You are right on the first link, and I am to tired to read the rest now. Been working on a new rom and finishing it up.I take it that ours is an initramfs device? Being so, this guide would not work.
I have found a completely unrelated device tree here on Github, but it may contain what you are looking for. (source found in this thread on XDA)
On second thought, I also found something built from samsung kernel sources + teamhacksung initramfs template found here that may help....
Overall (and I am sure you have seen this) I found this thread here on SlateDroid very interesting!
**Edit** Oh, and whilst I am throwing links at you, I just found this one that I think applies to the above.