vswitchd: fix 32-bit builds