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