[coreboot] Re: Deprecation of the Intel Quark SoC