I'm certainly not going to attempt an autobuilder build when the SDK kernel source is out of date compared with what's on the device itself...