kernel: Fix compilation errors on i386