Incorrect. Stallman cannot change the license on a kernel. Only Linus can do that.
Sorry for the confusion, when I referred to "stallman's GPL3 Linux" I meant using a GPL2 kernel but the rest being GPL3, which is advantage for Stallman since Torvalds can't use the GPL3 tools without the overal O/S being anti-DRM as Stallman wishes. This is a clear advantage to Stallman, and based on his actions he obviously knows it.