Re: [PATCH v2 2/5] rpi: Set bootm_size to 512MB