Add Cortex-A53 and Cortex-A57 cores to the AArch64 backend