ifconfig: MAC richtigrum ausgeben

! Die MAC wurde falschrum ausgegeben
IRQs: Richtigen Userstack benutzen

! Wenn ein IRQ zugestellt wird, darf für den Userstack nicht blind
  USER_STACK_TOP benutzt werden, es muss der Stack verwendet werden, mit
  dem der Prozess initialisiert wurde (sonst funktioniert das nicht so
  toll, wenn ein Thread als ISR-Prozess dient, während der Hauptthread
  weiterläuft)