This reflects the fact that the Shark machine has been deleted
as an ARM sub-architecture.

Cc: arm@kernel.org
Cc: Alexander Schulz <alex@shark-linux.de>
Signed-off-by: Linus Walleij <linus.walleij@linaro.org>