Modifying kernel/linux/types.h to try to make it work for 3.11.