[floatboth]

arm chromebooks usually run coreboot too; the utility of edk2 there would be questionable, as on none of them ACPI tables can cover all the HW, so u-boot would be good enough.