1. Fix one bug on EBC for GetPowerOfTwo64.c