From: Stephen Smalley <sds@epoch.ncsc.mil>, James Morris <jmorris@redhat.com>

This patch corrects several format specifiers in the SELinux security server
code.