[OpenBIOS] [PATCH 1/4] SPARC32: minor tidy-up for boot.c