atf_bl31.py revision dc2f81a2
1