# CONFIG_RTC_DRV_MPC5121 is not set
