I built kernel 4.6.0 with the john brodie patches and the sdio wifi patch fix for 32 bit, in the usual place. It booted fine and ran for a while, then got a hard lockup for no apparent reason about five minutes in :-( a 64 bit kernel is on its way I uploaded the zip of JB's patches too