[coreboot] Re: Moving from 4.12 to 4.13 breaks boot