我在 Beelink SER5 MAX Mini PC 上安装了 OpenBSD 7.5。该产品具有 16 GiB 内存，BIOS 检测到Total Memory: 16384 MB (DDR4).然而，OpenBSDtop仅报告Memory: Real: 169M/2034M act/tot Free: 11G Cache: 975M Swap: 0K/13G.我查了一下dmesg，上面还写着
real mem = 13840232448 (13199MB)
avail mem = 13399629824 (12778MB)
您可以阅读dmesg全文这个链接。请注意，我在同一台计算机上使用 NetBSD 时遇到了同样的问题（dmesg关联），所以这可能是一个与操作系统无关的 BIOS 相关问题。
剩余的 3185 MiB 物理内存在哪里？如何恢复它们？