Kernel: Provide a working kernel configuration for wandboard.