Kernel config for Wandboard.