I actually asked Pali to provide such a kernel, but apparently its size, together with U-boot (which is what I wanted) would be >2MB.