[U-Boot-Users] [PATCH] ARM: Fix for broken compilation when defining CONFIG_CMD_ELF