Michael Ellerman writes: > The reason I ask is PLATFORM_MAPLE is currently 0x0500 which means we can't > (easily) do any bit mask based trickery on platform numbers. Yes, that's bogus. It should be 0x800, or better yet, we get rid of the platform numbers entirely - Ben H had some ideas about that. Paul.