Re: [U-Boot] [PATCH 2/5] nios2: Up the monitor size to 512kiB