kernel: Do not mix data and code pointers

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
kernel: noreturn ought to be before return type

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