[coreboot] Re: GSoC 2019 - HW bringup