fix prebuilt kernel path on extract-files.sh