Oops. Just spotted something else weird:

On 2018-May-19 11:53 , Jd Lyons via OpenBIOS wrote:
[...]
Here it is again in a format that makes it a little easier to read:

SLOF

assigned-addresses 82000830 00000000 83000000 00000000 00010000  
                                 82000810 00000000 81000000 00000000 01000000  
                                 c3000814 00002100 00000000 00000000 10000000  
                                 8200081c 00000000 82000000 00000000 01000000

Openbios:

assigned-addresses-- 3c : 02007810 00000000 81000000 00000000 01000000 
                          c3007814 00000000 90000000 00000000 10000000 
                          8300781c 00000000 a0000000 00000000 01000000

Bar 1c is being assigned 32-bit memory by SLOF, but 64-bit memory by Openbios (albeit in the 32-bit range). By specifying "83" as the first byte, it's saying that both BARs 1C and 20 are being used to address this chunk of memory. Since SLOF thinks it only has BAR 1C (and nothing in BAR 20), that strikes me as unlikely. It's probably worth checking what the cards BARs are actually doing, and figuring out which of those two representations of BAR 1C is wrong.