[OpenBIOS] Starting Linux from the C environment