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