Oh boy, only 19 months left confirmed!
I wouldn't mind helping with the software a bit. I definitely have experience with low level programming in C on ARM and Atmel microcontrollers. But sadly none whatsoever with the Linux kernel, that's such a huge and scary place. Where should I begin?