arm64: Introduce VA_BITS and translation level options