Added cross-compiling capabilities to FunctionalSpec.md.