add missed kernel repo

Signed-off-by: Humberto Borba <humberos@gmail.com>