I think I have a backup... I'll restore it, and then I'll post you the new output.
EDIT: This is the new output...
12 2 0xffffff7f81c1c000 0x5c000 0x5c000 com.apple.driver.AppleACPIPlatform (1.3.6) <11 10 7 6 5 4 3>
Nothing has changed, isn't it?
P.D.: I'll reinstall OS X, install linux and extract a new DSDT. Then I'll wait for your orders, sir
P.D.: It is possible that using UEFI-based bootloaders (e.g. Clover) some of the bugs will disappear?
EDIT 2: I have been trying something new. I have installed OS X in the laptop using the Clover method. I haven't needed to patch the kernel, and there are lesser bugs (the laggy mouse bug disappeared). However, I think I'll stop (at least for a while) trying to get mavericks working on my laptop, because it doesn't look as stable as it looks in my desktop computer. Thanks for everything, and sorry. If I find something new, I'll notice you.