Canon 200D (Rebel SL2). Red noise with low ISO value

I have a Canon 200D (SL2 rebel).
I am concerned about the red noise in the darkest parts of the photo, 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

image2

https://megaupload.nz/U0k69aufbd/IMG_1590_CR2

https://megaupload.nz/a9la96u0b9/IMG_1673_CR2