Do you have any plans concerning the kernel so far? The way I see it there are two major possibilities: 1. Some stock Debian armel/hf kernel (probably with minimal adjustments for the HW) 2. Your own kernel (probably the same or a similar one that FPTF will use)