No, he's right about that. But it's a red herring: The Linux kernel already uses a lot of GCC-specific, i.e. nonstandard, extensions.