[LinuxBIOS] PATCH: minor GPL fixes.