[RFC PATCH 05/15] x86/pks: Add PKS kernel API