fix compile time warning when compile for 32-bit kernel