Trying to merge tboot and bitvisor, pretty challenging
89