Remove ';' from inline comments on 93k, as they indicate end of comments, otherwise comments get cut off.
Remove ';' from inline comments on 93k, as they indicate end of
comments, otherwise comments get cut off.

redxeth/origen_testers,redxeth/origen_testers