[coreboot-gerrit] Change in coreboot[master]: device/oprom/include/x86emu/fpu_regs.h: Lint error