I have an Canon 200D (Rebel SL). 

I am concerned about the red noise in the darker parts of the picture, at low ISO values. Especially in the blue sky.
Could this be a hardware problem with a sensor?

I post screenshots and two original RAW files:





  [![image1][1]][1]


[![image2][2]][2]


  [1]: https://i.sstatic.net/NYJCA.png
  [2]: https://i.sstatic.net/qVM9E.png

https://megaupload.nz/U0k69aufbd/IMG_1590_CR2

https://megaupload.nz/a9la96u0b9/IMG_1673_CR2