[coreboot] Miniboot