Merge tag 'v3.13-rc3' into devel

Linux 3.13-rc3