kernel/arm: execute irq handler in svc32

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
kernel: fix whitespaces in stack_protector.c

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
kernel: add missing files

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>