Linux Kernel Markers: support multiple probes