Finalmente resolvido usando isto:
sudo /bin/kill -9 -- -1
Se o primeiro PID for negativo, ele deve ser precedido por --
, por isso não é interpretado como uma opção.
Portanto, o comportamento real de /bin/kill
é distinto do comportamento descrito na página man.