don’t set unneeded kernel args