updater-script: change the name of the kernel