[coreboot] Petitboot based bootloader