Fixed Mirage

[Vincent Bernardoff <vb@xxxxxxxxxxxxxx>]

Dear all,

I have pushed patches to resp. mirage-platform and mirage-net that fixes 
the DHCP bug (and should fix Balraj issues as well).
The bug was caused by my modification of Io_page: I replaced the 
function get_n that was allocating n Bigarrays of size one page by a 
function that was allocating one Bigarray of size n pages. I guess that 
the entire Bigarray was garbage collected when the first of its page was 
not referenced anymore, and that was causing the issue.
Balraj, please could you run your tests with this new version, and tell 
me if it works for you ?
At least it fixes DHCP completely.

I broke the UNIX backend temporarily, I will fix it tomorrow.

Good evening,

Vincent