JFYI, I got stuck with kernel 3.19 this spring, and Linux-4.0 didn't work properly on my coreboot machine. Only now I've had time to look into this.
To make it short: the fault is in the Linux PCI/ACPI code; see mainline commit 2c62e8492, which fixes this in 4.1-rc3. You may want to skim through https://lkml.org/lkml/2015/4/3/608 to get an idea of this mess.
" I did it because Windows apparently does that ..."
I'm not sure if and why proprietary BIOSes are unaffected. Just to let you all know in case you're bisecting across 4.0 linux kernels.
Torsten