# CONFIG_MFD_RC5T583 is not set