Fix defconfig.mk

Paths were not correct.