Makefile: Include GATE related sources for all platforms.