System Software: Allow user to add extra sources

The user can also add extra sources in the Makefile using the
EXTRA_SRCS variable.