[PATCH v2] ARM: tlb: ASID macro should give 32bit result for BE correct operation