xen: implement "extra" memory to reserve space for pages not present at boot