We have sane defaults for `ELFFILE` and `HEXFILE` in the root `Makefile.include`. The local definition for `ELFFILE` of mbed_lpc1768's `Makefile.include` was wrong, which caused e.g. `make buildsize` to fail.
Fixes #1138
fixes #548