RE: [PATCH 2/2] uio_hv_generic: Use correct size for interrupt and monitor pages