[Bug 25428] Memory allocation issue when working with a PAE kernel