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