Set default RV32 RAM size to 4 GiB - 256 MiB