Unbreak vmx(4) on i386.  The right shift of 32 bits for the DSH register (driver shared address high) exceeded the width of the 32bit bus address; casting the address to a 64bit type will correctly result in a zero value on i386 and the high bits on amd64.
Unbreak vmx(4) on i386.  The right shift of 32 bits for the DSH
register (driver shared address high) exceeded the width of the 32bit
bus address; casting the address to a 64bit type will correctly result
in a zero value on i386 and the high bits on amd64.

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars