# CONFIG_SERIO_SUN4I_PS2 is not set