Fix typo in mkboot script - minor problem.