mini-os: Fix build failure with void* arithmetic.
mini-os: Fix build failure with void* arithmetic.

Signed-off-by: Keir Fraser <630387d5cc1583f72f6a83b108d2df9830b77eef@citrix.com>

rowhit/xen-minios,rowhit/xen-minios,rowhit/xen-minios