Re: [coreboot] [patch 4/5] libpayload: Add an exec() and i386_do_exec() function