armvirt/64: change it to cortex-a53 instead of generic