- rel 12; fix build with kernel headers >= 3.10