[tor-commits] [torspec/master] Padding spec update for Bug 30992's machine_ctr field.