Windows: fix native kernel compile with MinGW 32-bits