kernel: Make sure timer state has a valid type for atomic access

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
arch/x86_64: Add implementation of aba_pointers

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
kernel: Fix x86_64 build

Signed-off-by: Pawel Dziepak <pdziepak@quarnos.org>
build/x86_64: Update and fix cmake files

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

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