Baf, what issues are you having when you boot your laptop? What does everything look like in device manager (and specifically, the PCI to PCI bridge in device manager)? Have you tried updating the BIOS on your laptop to the latest version?
Justin E
National Instruments R&D