So, tried some more things, like PCIrootUID=1 and whatever, still no success in Mavericks. I've found a package for the A8N SLI Premium with some BIOS settings and a dsdt.aml, it makes no real difference. Weird, except for my laptop I again have a board which works without dsdt.aml.
I've...