git01.mediatek.com / filogic / atf / 339580c90429492f9b380e5d9d543756c0de1197 / plat / rpi3 / rpi3_bl31_setup.c