windows: use hweight64(), it's a 64-bit type