armvirt: rename config-default to config-4.9