[coreboot] Coreboot patches for v2 with SeaBIOS