@Cesarpuig Thank you for your contribution. This will be useful for those who owns a Raspberry Pi 4 and want to try running the port even though it officially only works on older Raspberry Pis.