dra7xx-evm: switch to different kernel