hw/arm/virt: Increase max_cpus to 512