Kernel: improve stacktrace printing

- corrupt stack traces could trigger a kernel panic;
- output consistency and spelling.

Change-Id: I04c9ac7db77593d6e837a28c83f1734adc8d9da7

New sources layout

Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9