[PATCH V6 05/10] x86/pks: Add PKS setup code