[OpenBIOS] Sparc32 boots Linux...