* init.c: Make it compile with older kernel headers.