ARM: Fix for broken compilation when defining CONFIG_CMD_ELF