[PATCH 17/17] board: xen: De-initialize before jumping to Linux