Linux-libre version: 3.9-gnu

Release date: April 29, 2013