Re: [LinuxBIOS] [PATCH] GPL headers for src/device/* in LinuxBIOSv2