Move SeaBIOS output out of coreboot source tree