Зачем оно надо то?
Нет, с идеологической точки зрения для HA вещь очень полезная, но, вот подумайте, как оно с практической стороны.
Что есть "фаервол"? (не люблю это слово, ну да ладно).
Сие есть машина с железом не очень производительного класса, единственое требование предъявляемое к оному фильтровать или иным образом оперировать с сетевым трафиком, проходящим через него.
Т.е. если речь идет не о каких то load балансерах или свичах выше L3, то для выполнения этих функций даже на GigE сети достаточно железяки (о x86 речь) уровня 500Мгц, от 128Мб оперативы и это даже шикарно, на практике я думаю можно еще умерить аппетиты.

Теперь о собственно HA и репликации состояния pf.
Где вы реально это собрались использовать? вернее даже сказать на каком железе.
Лично я не знаю где можно найти стоечные машины такого уровня.
А использовать для этих задач полноценное железо - да бог с вами, кошки дешевле встанут раза в два.
Вот и получается, что формально оно есть, а практически нет подходящего железа, где бы это можно было реально применять. Ну разве что на тестовом стенде поиграться.

Единственная надежда, что какая-нибудь китайская конторка начнет производство железа под это дело, но цена конечного продукта будет опять же под вопросом и скорее всего сопоставима с теми же кошаками.