# CONFIG_RMI4_F12 is not set
