For licenses generated using KRS the value seen from System Management, Licensing tab is purely cosmetic and does not enforce on the incorrect (halved) value. Version 6.3 should correct the cosmetics. Also the bulk of licenses will originate using PLDS and will not show an incorrect value.
In summary - If your SBCE HA license is showing half the value for SBCE SE Sessions and was generated by KRS it can be safely ignored and is understood to be double in value internally to the system. In version 6.3 both KRS and PLDS licenses will display correctly.