Use sel4-config crate plus minor fixes
- Use sel4-config crate, call it in build.rs, and import generated sel4_config.rs in lib.rs
- Add missing conditional compilation feature flags
- Get CONFIG_RETYPE_FAN_OUT_LIMIT from sel4 config
- x64: Fix huge pages
Waiting on sel4-config!2 (merged)