Re: [SeaBIOS] [coreboot] One ROM for multiple devices