1# CONFIG_PPC64 is not set
2