[coreboot] [PATCH] v3: fix up missing conversion from r558