Linux 3.13-rc7 announced