Microkernel Hypervisor for a Hybrid ARM-FPGA Platform