syscall_krn: Unbenutzer Parameter

! Warnungen sind doof, also endlich mal diese eine mit (void)p4;
  unterdrückt.