The ableOS build system was ripped from repnops xtask build system in the risc-v kernel (hence the name)
Fail if not compiling on all platforms