arm64: tlbflush.h: add __tlbi() macro