also fix for kernel deps