[ck] [patch v1 1/2] x86/Kconfig: Rename UMIP config parameter