Re: [PATCH v3 04/12] x86: coreboot: Add a boot script