sys/xen: Use __printflike() instead of format(printf)

The __printflike macro sets the format to freebsd_kprintf which recent
clang understands and warns about. Fixes the following error:
passing 'printf' format string where 'freebsd_kprintf' format string is expected [-Werror,-Wformat]

MFC after: 1 week