What's the status of kernel marker support in SystemTap? Should kernel.mark("<name>") work with Mathieu's latest patches? Just curious because I tried and I'm seeing "no match for probe point" errors for markers I added to the kernel. Mike