Fix a 32/64 bit incompatibility in the HiPE prologue generation.