Hi Anthony,
I am not sure what you are trying to do here but you code will not do much. All it does is wait for a byte to arrive on the serial port and then multiply that byte by 10,000. That's the first bit I couldn't follow it after that.
How have you got your hardware connected up?
Are you expecting asynchronous data to come in from the serial port?
What has this to do with IR?
I downloaded this HEX code from remote central
Is this code compatible with this processor, if so what is it supposed to do?
Without an idea of what you are trying to do and what setup you have we don't stand a chance of helping you.