Read the article, fanboy. The BIOS directs Linux to a DIFFERENT TABLE than it does Windows. It does not use the same ACPI tables for both and goes to some lengths to make sure of it.