kernel: add missing include

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