NetworkManager and PCMCIA (WAS: some changes for (slightly) faster boot)