[coreboot] Re: Possible modification ACPI uefi bios