[RFC PATCH 06/15] x86/pks: Add a debugfs file for allocated PKS keys