dra7xx-evm: Fix the kernel provider