Die größe des BKVs hat nix mit der Art der HA-Bremse zu tun.
Autos mit Bremskraftregler haben den 9''BKV, Autos ohne BKR haben den 7''BKV. Scheibenbremse hinten hat halt automatisch auch den BKR.
Wenn man da was umbaut sollte, man das so umbauen, wie es das ab Werk auch gab, sonst kann (und sollte) das wieder Probleme beim TÜV geben.
Wobei ich mir hier auch nicht so gut vorstellen kann, dass der BKV defekt ist. Wenn dieser defekt wäre, müsste das Pedal ja eigentlich immer hart bleiben...