*
* Firmware Drivers
*
BIOS update support for DELL systems via sysfs (DELL_RBU) [M/n/y/?] m
Dell Systems Management Base Driver (DCDBAS) [M/n/y/?] m
High Memory Support
  1. off (NOHIGHMEM)
> 2. 4GB (HIGHMEM4G)
  3. 64GB (HIGHMEM64G)
choice[1-3]: 2
Memory split
> 1. 3G/1G user/kernel split (VMSPLIT_3G)
  2. 3G/1G user/kernel split (for full 1G low memory) (VMSPLIT_3G_OPT)
  3. 2G/2G user/kernel split (VMSPLIT_2G)
  4. 1G/3G user/kernel split (VMSPLIT_1G)
choice[1-4?]: 1
Memory model
> 1. Flat Memory (FLATMEM_MANUAL)
choice[1]: 1
Allocate 3rd-level pagetables from highmem (HIGHPTE) [N/y/?] (NEW) aborted!

Console input is closed. Run 'make oldconfig' to update configuration.

make[5]: *** [oldconfig] Error 1
make[4]: *** [oldconfig] Error 2
make[3]: *** [oldconfig] Error 2