memul: Update kernel path in deps