Ok, kgdb over serial works again if you boot without the gdbethoptions (the comment on kgdb_net_interrupt is a bit misleading here).This causes KGDB-stub to show up again in /proc/interrupts, but myother serial interrupt is still missing.