[PATCH V5 04/10] x86/pks: Add PKS defines and Kconfig options