core_tlb_maintenance(TLBINV_BY_ASID) is on

It also contains code style cleanup

Signed-off-by: Pascal Brand <pascal.brand@st.com>
Right.
Better to have it in the asm to ensure the mask is always applied

The fix has been pushed