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