This probably should be fixed in the future with MACHINE_PLATFORM
but right now the solution is simpler to read in the Makefile.