Correcting the boot options of all ISOs