[PATCH] arm64/mm: Fix annotated branch unbootable kernel