Add options for 'cat /proc/config.gz' to run
Inject mediatek-configs dependency in Makefile to default target