linux-yocto: Rework virtio-aarch64 kernel configuration