[GigaBlue] add kernel 3.9.6 (not used yet)