Re: [PATCH 13/29] bootm: Use the error return from boot_get_kernel()