- dev seek doesn't need doxygen comment in kernel.c
- fixed some build errors with dev

Signed-off-by: Olli Vanhoja <olli.vanhoja@ninjaware.fi>