[PATCH v2 3/4] x86: coreboot: Add a boot script