Linux is unquestionably a work protected under copyright law. When I
compile Linux, copyright law still protects the executable form. This
is not a problem.
No. The GPL does not care about the hardware's key, as I pointed out
in the part of my email that you cut out. The GPL cares about the key
used to generate an integral part of the executable form of the GPLed
work. The executable does not function properly if it lacks that
part. This is exactly the same way in which the GPL cares about the
programming instructions in other parts of the source code: if you
remove them, the resulting work does something quite different. See?
Michael Poole
-