Maestro now supports GCC

Maestro: A Linux-compatible kernel in Rust