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