Avi Kivity wrote:
Confirmed with multiple tests.
I think it's a miscompile.
As a data point you could try building SeaBIOS with a "vanilla" toolchain. In coreboot we've seen significant problems with most distribution toolchains, because they are tweaked for user space.
A script to build the coreboot reference toolchain is in the coreboot source tree, under util/crossgcc.
//Peter