CFG_TEE_CORE_LOG_LEVEL=0 DEBUG=0 is now up in Travis

Signed-off-by: Pascal Brand <pascal.brand@st.com>
Are you sure it's not the while (1) that causes the warning?

If you write the while (1) as
{
        volatile boot mytrue = true;

        while(mytrue);
}

there's not going to be any warning. But why bother at all, this function is never going to be called?