[coreboot] possible bug, reported on irc