Allow me to present a small sub-project Gabriel and I are working on. We did a small scale consulting, but its the time to present it on a more wider scale.

As a comment, specifically to Timo's post: 2nd class tags should not be conflicting with Component field when possible. In case of Kernel and win32k, a submodule should be used instead of module name: for example in case of kernel bugs, Components should be set to Kernel, whereas 2nd class tag should be pointing to kernel submodule, like iomgr:, ob:, mm: etc.