kernel/include/config/RMI4_F11