Re: [PATCH 1/2] rpi: add an RPi Kconfig to configure size of initial page reservation