Dell PERC H700 disappears after upgrade

I’m actually posting this for a friend of mine, so I don’t have all the particulars of the system.
But here is what is happening: After using Yast to update to update his kernel from Leap 42.1 4.1.34 to 4.1.36, his RAID controller disappears. I’m thinking that the problem is that the driver for his RAID (Dell PERC H700) doesn’t exist in the new kernel. Has anyone else had this issue and what were the solutions?