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