Delete the configuration option for the Shark machine from
the i8042 Kconfig, as the machine is deleted from the kernel.
Acked-by: NDmitry Torokhov <dmitry.torokhov@gmail.com>
Signed-off-by: NLinus Walleij <linus.walleij@linaro.org>