[U-Boot-Users] PPC440 and CONFIG_BOOKE

[Jeff Mock]

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