I was corrected that the lone 0x48 prefix is something which was encountered in a number of Windows functions (to make it possible to patch with 2 byte short jump). So in the absence of anything known to require something else specifically there is no reason to change it, closing.