osdep: Fix ROUND_UP(64-bit, 32-bit)