[PATCH] powerpc/85xx: allow CONFIG_PHYS_64BIT to be selectable

[Tabi Timur-B04825]

Li Yang-R58472 wrote:

> I agree with Changming that we shouldn't setting PHYS_64BIT by default.

The default kernel should always be the compatible with as much as 
possible.  Disabling PHYS_64BIT by default means that the default kernel 
will not work with a 36-bit DTS.  If you attempt to boot such a kernel 
with a 36-bit DTS, there will be no text output.  Most people will not 
know why it's not working.

So the safest option is for PHYS_64BIT to be enabled by default.  That 
way, the kernel will always work.

-- 
Timur Tabi
Linux kernel developer at Freescale