Re: [SeaBIOS] [coreboot] How does SeaBIOS transition to Linux?