Re: [RFC PATCH 1/3] Query supported ARM CPU property values from QEMU