En Mail para iOS 7 puedes pulsar sobre Archive
Buzón de correo y luego escriba la palabra flagged
en el cuadro de búsqueda. Luego puedes bajar la lista de resultados que te da la opción de All Mailboxes
o Current Mailbox
que en realidad es bastante útil. Seleccionando All Mailboxes
debería mostrar todos los mensajes marcados a nivel mundial, y Current Mailbox
sólo los del Archivo que han sido marcados. Me doy cuenta de que esto es más una solución que la forma en que se hace para la bandeja de entrada normal, aunque parece funcionar relativamente bien teniendo en cuenta que no hay un botón de marcado para los mensajes en el Archivo.
He descubierto que el botón de marcado no siempre muestra todos los elementos marcados en la bandeja de entrada de todos modos. Parece que tiene algo que ver con los mensajes marcados que están almacenados en iCloud o posiblemente no busca los mensajes marcados más allá de una fecha determinada. Normalmente termino escribiendo flagged
en la búsqueda y seguro que encuentra elementos que no estaban en la lista cuando yo había tocado inicialmente el botón Marcado. Cuando la búsqueda se completa, los elementos marcados más antiguos terminan apareciendo al tocar el botón Marcado.
*Creo que los mensajes marcados también se ponen al principio de la lista de mensajes de forma predeterminada cuando tocas el Buzón de Archivo (al menos en el mío). Si alguien tiene una solución mejor sería bueno saberlo, sin embargo, mientras tanto espero que esto ayude.