Copyright for linux-restricted-modules source package in Disco