Re: [RFC PATCH 02/10] hw/misc/vmcoreinfo: Rename opaque pointer as 'opaque'