FL-1141, FL-1130: mask 3.13* kernels that exist in Gentoo right now, since we are experiencing major gfx issues with them