Si è proprio lui, e la versione del kernel è quella da te indicata. Ho provato Ubuntu e Ubuntu mate 14.04 con versione kernel 3.13.0