[OpenBIOS] SILO loads Linux