installing PCMCIA card - newbie question