Re: [coreboot] [PATCH] ACPI support for ASUS P2B