Update OpenBIOS for Sparc32 and add a Sparc64 image