Yeah i am using 4.0 without any problems.
Don't think there were any special bios settings apart from setting SATA mode to AHCI.
I do believe i disabled anything that was not going to be used, NIC2, audio etc etc but that should not matter
My current driver layout is
6 on the intel controller
2 on the jmicron controller
4 on a PCI promise controller.
Mark