Kernel: lib/minilibc implemented setjmp without sigsetjmp
Kernel: changes for building
Kernel: adapted the identifieres