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