The simplest solution for now may be to go with your workaround increasing
SECTION_SIZE_BITS to 27. PAE mode already uses 30 and x86_64 also works
with 27. This is going to affect the memory hotplug granularity for !PAE
32 bit configs though. Kame-san, any concerns with that?
--