Is there a place to report the bootmenu problem? As mentioned above (and possibly related to similar deblet problems), the partition must be changed to load this from mmcblk1pX to mmcblk0pX.

Other than that, 0.8 is a beautiful release. Keep it up.