We have installed two C0 stepping 3120A cards on a Dual-Xeon Serverboard.
While MPSS-3.4.1 installation failed for the F20 update kernel (we tried kernel-headers-3.16.7-200.fc20.x86_64), everything (incl. flashing the cards) went well for the release kernel version 3.11.10. -without patching anything.
Since we do not use inifiniband we are fine. However rebuilding the ofed drivers with
rpmbuild --rebuild ofed-driver-3.4.1-1.src.rpm
failed with
include/uapi/linux/types.h:4:23: fatal error: asm/types.h: No such file or directory
likely because the kernel headers mutate (too) fast.