I booted in rescue mode and did the following:
echo 1 > /sys/bus/pci/devices/0000\:01\:00.0/remove
echo 1 > /sys/bus/pci/rescan
The card is correctly detected, but I see this message
pci 0000:01:00.0: BAR 6: can't allocate mem resource [0xe0000000-0xdfffffff]
According to some guys this should be harmless:
This is a discussion on this issue involving Linux kernel developers:
It seems it could be a BIOS bug (indeed, the BIOS of this laptop is extremely buggy)...