[fedora-arm] RPi4 and support for RTC DS3231