Resynced extract-files.sh setup-makefiles.sh and i927-proprietary-files.txt again.