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