According to one report, they don't currently work. One possibility is to export the CONFIG_* values to systemtap scripts as yet another preprocessor predicate, so that a cunning user could use kernel. instead of module("foo"). (assuming that even works. A better way would be to make the translator/elfutils understand module("foo") for both cases.
In the kernel build process, each module is drawn from a subdirectory in the source tree. So one possibility is to define module-name matching to mean a name wildcard on the CU name, which is the source file.
explicit alternation is a good implementation tactic *** This bug has been marked as a duplicate of 3887 ***