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