FreeBSD on RPI4B: shows an incorrect value of RAM

[Oleg Ginzburg]

Hello maillist,

Recently became the owner of an RPI4-B board. Latest FreeBSD snapshot (
FreeBSD-13.0-CURRENT-arm64-aarch64-RPI-20210107-f2b794e1e90-255641.img )
boots successfully. However, for some reason, the system only sees 3.1
gigabytes.
This model has 8 GB of RAM. Any ideas?

https://www.bsdstore.ru/trash/IMG_20210121_000558.jpg
https://www.bsdstore.ru/trash/IMG_20210120_224751.jpg

ps: booted from SD via RPI_EFI.fd (
https://github.com/pftf/RPi4/releases/tag/v1.22 ), config.txt:

disable_splash=1
arm_64bit=1
enable_uart=1
uart_2ndstage=1
enable_gic=1
armstub=RPI_EFI.fd
#disable_commandline_tags=1
#disable_overscan=1
#device_tree_address=0x1f0000
#device_tree_end=0x200000
#dtoverlay=miniuart-bt