fix kernel path

Signed-off-by: Eduardo Habkost <ehabkost@redhat.com>