Makefile: Add support for overriding PLATFORM