Linux Kernel Markers: fix samples to follow format string standard