git01.mediatek.com / filogic / atf / ffe925439b9934c0de9348626a4bff9a2e2e8a53 / plat / rpi3 / rpi3_bl31_setup.c