ARM: 7772/1: fix missing flush_kernel_dcache_page() for noMMU