The devices original firmware can't boot aarch64 kernels, luckily Huawei forgot to setup secure boot so we use diffrent firmware that supports 64-bit with a bootloader that's bundled into qhypstub. I've described the processes of doing so on it's device page: https://wiki.postmarketos.org/wiki/Huawei_Y635_(huawei-y635)
