Not only that, but the "compression" of colors to SDR is a processing step that can be saved. So in fact, native HDR would increase performance...