Updating nonpae config for 4.0 so it really is non-PAE