Thanks a lot for this. So I got him to use it and his system shut down succesfully after using this DSDT on the first boot but now on the second boot onwards, it just gets stuck at "rooting". Also, there are a lot of ACPI errors. I've attached his latest CLOVER folder above this comment of yours, please check it once.
Here's what he's getting :
http://imgur.com/a/Jd5gUzX