Re: [PATCH v2 6/7] kvm/mips: Remove support for 32-bit hosts