GPL doesn't cover the hardware it runs on, so unless they forbid copying the GPL'd software (with code), they should be clean from *that* particular problem. (Note: I'm not commenting on laws here, just the GPL)