Re: [PATCH 12/29] bootm: Adjust boot_get_kernel() to return an error