[OpenBIOS] [PATCH] use the kernel arguments when using -kernel -append