Hi,   I use Armbian Stretch 4.19 on an OrangePi Zero Plus2 board with 512MB  of memory, cat /proc/meminfo shows: MemTotal:         460224 kB I assume that the missing amount of memory is reserved for the GPU. I do not use the GPU, how can I decrease the amount of reserved memory?