juiceme: you can already get a working 3.5.3 kernel for N9 from filippz github repository, which is the kernel used in latest SFOS and Nemo images for N9. It's already available, and works!