That is a good question. Might have to contact HK directly for feedback on that. If the size of that part and spacing is all equivalent I would think a direct swap or conversion could be done.
Whether HK would do it for you or arm you with the information to do it yourself I could not say. If they are not the same sized parts then another option might be to have a good custom shop essentially bob the existing hammer for you. I like the full hammer myself but understand the merit and purpose of the bobbed one. Good luck.