[PATCH 03/13] Convert CONFIG_ENABLE_36BIT_PHYS to Kconfig