[coreboot] make crossgcc-i386 : ubsan.c error (with fix!) for GCC