bug fixing, Kconfig and makefile

Signed-off-by: Carlo Caione <carlo.caione@gmail.com>