RE: [OpenBIOS] Starting Linux from the C environment