gerrit-public.fairphone.software / platform / external / arm-trusted-firmware / f56afc1f59a66cf0d19f53d5ff848628d21676ca / plat / rpi3 / rpi3_rotpk.S