Update Platform.inc to detect ARCH with GCC target