Re: [libvirt] [PATCH-for-4.2] hw/mips: Deprecate the r4k machine