[OpenBIOS] [PATCH 1/5] SPARC32: fix obp_arg.argv when no kernel command line specified