Lockfreie IRQs

! IRQs werden wieder lockfrei ausgeliefert, indem der Parameter per
  Register übergeben wird.
TCP: flush_all_queues

! Nachdem die Queues aller Pakete entledigt wurden, sollte man sie auch
  mit NULL als leer markieren – sonst rennt man in einen Double Free.