[coreboot] Possible modification ACPI uefi bios