ibft: correctly apply modprobe option defaults