powerpc: Remove dead CONFIG_HIGHPTE