I just built a 4.7.0-rc2 with John Brodie's patch set and it seems to work OK, the sluggishness has gone. I uploaded the 32 bit kernel, wifi driver and kernel config, and if it's moderately stable I'll build and upload the 64 bit version.