[coreboot] problem after "convert to ASL 2.0"