If they aren't distributing their modified GCC with the hardware, they have no obligation to release the source code either.