[U-Boot] powerpc/e5500: looks like init is setting a reserved HID0 bit in start.S?

Hi,

I noticed in cpu/mpc85xx/start.S that for ENABLE_36BIT_PHYS builds, HID0_ENMAS7 is set for E5500/T1040 builds, but the E5500 reference manual shows the bit doesn't exist.

If the bit truly doesn't exist, should the code be patched or is it not worth the #ifdef?

Bob

start.S:309:

#if defined(CONFIG_ENABLE_36BIT_PHYS) ori r0,r0,HID0_ENMAS7@l /* Enable MAS7 */ #endif