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