[coreboot] Moving from 4.12 to 4.13 breaks boot