kmsg: export printk records to the /dev/kmsg interface