powerpc/vdso: Fix __kernel_sync_dicache sequence with coherent icache