Change kernel directory

Signed-off-by: Salvatore Battaglia <salvo.96bat@gmail.com>