The GPL imposes restrictions on the copying of copyrighted materials. This falls cleanly within the scope of copyright law.
Deciding what machine can run an operating system has nothing to do with copying and redistributing it. This is outside the scope of the copyright law.
The system was down for backups from 5am to 10am last Saturday.