Sorry, a bit late; the ARM64 "RPI" image should work out of the box and recognize all of your RAM.