libstd: Add stdalign.h and stdnoreturn.h headers

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
kernel: Update coding style

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