Re: [PATCH 08/29] bootm: Move boot_get_kernel() higher in the file