One thing he did not mention is that cbmem seems to not work on his device. I don't know anything about cbmem but I looked into it a bit. mapping the first address (0) works fine, but cbmem does not find anything there and the mapping of the second address (0xf0000) fails then with: Looking for coreboot table at f0000 Mapping 1MB of physical memory at 0xf0000.
any ideas why this could happen?