Hi,
I can confirm the patch works fine. The board reserves the memory on 31MB as hole. So, the saving stuff can be left unimplemented for now.
[ 0.000000] BIOS-e820: 0000000000000000 - 000000000009f000 (usable) [ 0.000000] BIOS-e820: 000000000009f000 - 00000000000a0000 (reserved) [ 0.000000] BIOS-e820: 00000000000f0000 - 0000000000100000 (reserved) [ 0.000000] BIOS-e820: 0000000000100000 - 0000000001f00000 (usable) [ 0.000000] BIOS-e820: 0000000001f00000 - 0000000002000000 (reserved) [ 0.000000] BIOS-e820: 0000000002000000 - 0000000017fe7000 (usable) [ 0.000000] BIOS-e820: 0000000017fe7000 - 0000000018000000 (reserved) [ 0.000000] BIOS-e820: 00000000e0000000 - 00000000f0000000 (reserved)
High Tables Base is 17ff0000, but that little missing stuff 0000000017fe7000 - 17ff0000 is from SeaBIOS I think.
I used classic buildtarget/abuild method beccause I think Kconfig has bit different configuration.
I'm glad that you have chosen this board! It was a lot of work to get it running ;)
Thanks, Rudolf