[coreboot] How does SeaBIOS transition to Linux?