[U-Boot-Users] PPC440 and CONFIG_BOOKE

I'm porting u-boot to a new piece of hardware using a 440GX processor. My hardware looks a little bit like an Ocotea board so I'm using this as my starting point.

The Ocotea configuration (and the other PPC4xx boards) doesn't define CONFIG_BOOKE in the config file. The 440GX is a Book-E processor, this appears to define some of the SPRNs incorrectly.

Is this done intentionally?

thanks, jeff