Correct. In fact, I applied Bruce's patch with no modifications and was able to get far into Linux kernel init with an MSI A88X-G45 Gaming mobo + A10-7800...