On Tue, Jul 20, 2010 at 11:12:17PM +0200, Arnd Bergmann wrote: > We also have two platforms (integrator and shark) that use a > higher value of 0x6000 but do not document why they do so. On Integrator, it's fairly arbitary, and could be 0x1000 too.