They're not distributing any GPL code, so their changes can be under any license, including proprietary. And if they were, they'd only need to license your changes under something GPL compatible (like MIT, as they've done)—no need to dual-license. Upstream Linux already includes many parts that weren't licensed as GPL, only something compatible.