Update ISOLINUX menu