[coreboot] KGPE-D16: More power drain experiments with coreboot vs. vendor bios