The codec moved from h.264 to h.265, which is a big boost in efficiency, plus the extra pixels don't require as much information to describe as the original ones. 128mbit seems pretty good given that