[lint] Delete outdated comment in lint target (#551)
[lint] Delete outdated comment in lint target (#551)

Signed-off-by: Michael Schaffner <a005a2d3342a687ea2d05360c953107acbe83e08@google.com>
lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,lowRISC/ibex,AmbiML/ibex,AmbiML/ibex