When setting kern.msgbuf_show_timestamp to 1, there is timestamp added to the boot log / dmesg output, but it has no fractions counted. It would be good to have the number of fractions included, since boot time matters. cperciva@ has done some work on boot time improvements and including the fractions of second would make this more more sustainable. NetBSD has this implement since a while.