Ferramenta de construção para Coreboot PPC64
