Re: [PATCH 17/17] Mapped CCI-000160 to enable_ntpd and ntpd_specify_remote_server