Separated micro_pv code out from where the guest operating system should go.