AI-64 memory and top/htop utility

Hello,

Beaglebone AI-64 spec says that board has 4 GB RAM soldered, but both top and htop utilities do report 2 GB of available memory. Any clarification from community or development team?

See here: BeagleBone AI-64 memory 4GB or 2GB RAM?

Regards,