Sadly, I did not have any luck with Horse's DSDT. I have a 1.1 rev GA-EP45-UD3P motherboard with an F10 bios, but it just wouldn't boot. A shame, this looked really promising.
erick_C's non-DSDT method did work for me, though:
viewtopic.php?f=54&t=17273