# CONFIG_RTC_DRV_PS3 is not set
