[coreboot] seabios failure with v2 and -fomit-frame-pointer