Is there any reason u-boot couldn't be configured to pass root=/dev/mmcblk0p1 to the kernel and driectly boot a Debian system? Or maybe someone has already done such?