Hi, I've been lurking for quite some time, your post got me curious enough to register! Just in case this might help.. I assume you are aware that igepv5 works with LPAE and 4GB with just kernel command line:
mem=2032M@0x80000000 mem=2048M@0x300000000
And I think there's the second cpu startup...