Did you end up getting EFI to work? I tried, but the efivars module wasn't creating the right sysfs devices. Then I couldn't get lilo working on GPT, so I had to reformat to MBR.
I never had anything like that in the links you gave. I had X freezes, where I could usually hit the power button once, and the computer would shutdown normally. If magic sysrq keys worked correctly, I could just use raw mode (the reboot magic combination never seemed to work). I also had many kernel oops from Divide Error, which would cause ksoftirqd to go 100% cpu until the computer froze a few minutes later. So if things seem laggy, I have a habit of checking to see if this is occurring, then I can restart normally before the crash.
All of these crashes haven't happened recently, however. The strangest thing I am seeing at the moment is Battery acpi signals, when there is no reason for why they should be triggered.
I also just ordered an atheros ar9382 to replace the wireless card. I may lose bluetooth, but I don't even have the relevant programs installed at the moment. I would say the wireless was okay while I had signal, but would go horrible when it got a little distance away.