armvirt: Resync kernel configuration