fix bug in ethernet irq handler