Allocate the correct size Bigarray when mapping multiple pages.

Signed-off-by: John Else <john.else@citrix.com>