Properly register the linux kernel as installed
Only strip files in $ISO_TARGET