Fix buildkernel (missing include).

Reported-by: luxh