[LinuxBIOS] Re: ACPI with LinuxBIOS