mic modules finally made into linux-3.13