linux kernel for wandboard (see wandboard.org) with my additional modifications