Re: [coreboot] patch: remove embeddedplanet