Re: [U-Boot] [PATCH 04/12] ARM: rpi_b: include config_cmd_default.h