Hi Folks, just a quick heads-up to say that the Raspberry PI kernel in the armv7 image is now built using the GENERIC kernel config. I don't expect any problems, but please send-pr(1) if you find any. Thanks, Nick