I'm not sure what happened, but it sounds like you should set that particular board aside! The board is damaged if it's hot enough to smell bad. Was it maybe plugged into the processor board the wrong way? Either way, please contact info@tinycircuits.com so we can try to figure out what happened and replace your board.
Thanks,
Ben