/* * Xen locore: get rid of the Xen bootstrap tables. Build and switch to new page * tables. */