PCMCIA values may also be different in laptops that have the port but no card installed?