lock, pid_counter

* lock überprüft das IF nicht mehr. Demnach gibt es jetzt auch nichts
  mehr zurück und kassert_exec(lock(...)) zum Aufruf ergibt keinen Sinn
  mehr.
! pid_counter wird jetzt über __sync_fetch_and_add anstatt mit
  Postinkrement inkrementiert.
Faultscreen

* Bei einem Fault im Kernel sollte man den korrekten KSP anzeigen, also
  berücksichtigen, dass SS und ESP nicht im CPU-State enthalten sind.