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