I can't see why PEF format wouldn't be demosaiced either, that is, the conversion of 0/1 to viewable colour.
My experience is with Lightroom/ACR, and versions of these are continually being upgraded to "support" new camera models.
But I don't know what makes the difference between (say) K1 and K1vII. Hmm, maybe it's the camera profile/calibration that changes, and the lens corrections that depend on the camera that the lens is attached to? That is,
after demosaicing, and therefore able to be updated manually.
(and I thought that I knew everything I needed to know about LR
, this has me scratching my head)