Tagging verification done by virtue of the fact that the kernel compiles (which was the problem this bug addresses).
Tagging verification done by virtue of the fact that the kernel compiles (which was the problem this bug addresses).