Es la primera vez que me encuentro con este menú para personalizar encabezado o footer...debe ser porque el tema hijo es WP Fácil...entonces veo que te deja personalizar desde ese menú o bien activando la pestaña "use Divi options"...personalizar desde el tema Divi... lo que no tengo claro es la diferencia de hacerlo desde un lugar bu otro...
Hola
Esas opciones son por compatibilidad, posiblemente ya no existan en futuras veriones.
Usa mejor las opciones del propio tema Divi, incluso podrías usar la opcion de Theme Builder de Divi en donde tendrás un mayor control.
Saludos.