Raspberry Pi5 on Red Hat Enterprise Linux (RHEL)