为 rel4 添加 hypervisor 支持

[yfblock]

支持 rel4 hypervisor 的支持计划

8.4 - 8.10: 尝试熟悉目前 rel4 的代码结构和程序
8.11 - 8.17: 添加 rel4 部分的代码，可以从 sel4 中翻译
8.18 - 8.24: 检查某些地方 由于 hypervisor 引起的需要添加 config 的地方，并尝试通过 sel4test 中给的 测例
8.25 - 8.31 通过 sel4test 中的测试，尝试在用户态添加一些测例

Sel4test 中只有一个 hypervisor 相关的测试 https://github.com/reL4team2/sel4test/blob/64e094003bd8629c0f61c7f9daba3034c3dbdb4a/apps/sel4test-tests/src/tests/vcpu.c#L1

相关接口：https://github.com/seL4/seL4/blob/master/include/arch/arm/arch/object/vcpu.h#L114