Or, placing kernel on *very*small-ish dedicated ext2 partition on SD card would allow it to work, and won't cause any problems with ext4 /home/? As I understand it, u-boot just need supported filesystem to read kernel image from it, and later, it doesn't care about partition types, if kernel support them already?