@jaymonkey,
Thank you so much, I really appreciate your help! Not only I managed to solve the problem, but I’m also starting to understand what’s going on. I followed your instructions and checked with IORegistryExplorer: HD4600 is alive and kicking.
Everything seems to be working fine. Only...