Also i think the message about superhal is from a kext or possibly a plugin in your fakesmc go to your extensions folder and show package contents on your fakesmc, something like motherboard monitor plugin.