[LinuxBIOS] no luck with acpi support bios - please help