Add DEPENDS since EXTRA_DEPENDS is not used by `make menuconfig`. Signed-off-by: Peter Stadler <peter.stadler@student.uibk.ac.at>