[coreboot] [PATCH] fix cpu config option name