US9323564B2 - Systems, Methods and Computer Program Products for Bootstrapping a Type 1 Virtual Machine Monitor After Operating System Launch