Below is the output I see tonight, for my 2GB device using the correct dtb.img as determined by an OS update.
##############################################
CoreELEC
https://coreelec.org
##############################################
CoreELEC (official): 8.90.2 (S905.arm)
Tanix-Experimental:~ # cat /proc/device-tree/le-dt-id
gxl_p281_2g
Tanix-Experimental:~ # cat /proc/device-tree/amlogic-dt-id
gxl_p281_1g
Tanix-Experimental:~ # free
total used free shared buffers cached
Mem: 1880564 695220 1185344 0 48952 442900
-/+ buffers/cache: 203368 1677196
Swap: 0 0 0
Tanix-Experimental:~ #
I am posting this only to bring it to your attention but have no idea if it matters or not to the devs.