Re: [PATCH v1 0/1] Fix booting kernels with ATAGS and extlinux