I'm ultimately doing this to make sure there isn't anything crazy wrong with the dsdt and I will be able to create a proper injection of my USB ports using the dsdt as a reference for location and port count. Then If all is what it seems I can use my Bluetooth dongle and have full funtionality. But to more directly answer your question I wanted ps/2 keyboard support which was working with voodoo patch but the dsdt kills it.
Also I was wondering what patches you applied. I really need to learn this. I had attempted another
Patched dsdt using the 2.20 bios patch for ASRock
Along with a Intel Series 6, LPC Sandy Bridge, and irq patch. Are those even necessary? I tried booting with your dsdt and the one I made as well. All I know is...it booted. Sorry about the rambling, I just hope to gain some knowledge from you and future proof myself a little.
With the updated ioreg you asked for, is there anything you noticed?