/output t430_coreboot_seabios_*rom* /build