deb: add kernel dependency

Change-Id: I068201d1cc627e1982eb9a511073b21c23ae7b0a