[LinuxBIOS] PATCH: minor GPL fixes.

[Uwe Hermann]

Hi,

the attached patch brings the COPYING file up-to-date with the
gpl.txt file distributed from http://www.gnu.org/licenses/gpl.txt.

HTH, Uwe.