[PATCH] ppc64: Mark kernel hptes dirty