[PATCH] ppc64: remove arch/ppc64/kernel/setup.c