make distclean clean kernel auxiliary files

Signed-off-by: Eyal Salomon <esalomon@mellanox.com>