branches: 1.1.2; 1.1.18;add a normal kernel that builds with PAE enabled. this is not yethooked into the normal build, but this is a working configurationand on my 16GB test system, works fine.