kernel: add missing include to redboot.c