The "If (TCMF) {}" is there for a reason. It simply says that if TCMF is true then do nothing. Returning something at this point would be wrong so I suggest you should find a better solution to this problem.
I'm also having the same problems as you so you're not alone. This happened after I flashed the BIOS to the latest REV. And I'm using "Asus P8P67 WS Revolution B3" btw.
The most annoying issue here is obviously the one error: "_HID suffix must be all hex digits (GH)". So if you've found a solution for that, please report back.
EDIT:
For "Warning ResourceTag larger than Field (Tag: 64 bits, Field: 32 bits)" simply change Dword to Qword.
EDIT 2:
For "Not all control paths return a value (_HID)" change:
If (TCMF) {}
To:
If (TCMF)
{
Return(Zero)
}
For "Error _HID suffix must be all hex digits (GH)" change "ABDCEFGH" to "PNP0C15". (Source: http://www.tonycrapx86.com/viewtopic.php?f=14&t=61284)
Good luck.