[PATCH] x86-64: Make x86_64 udelay() round up instead of down.