BACKPORTS_VERSION="v3.13-rc1-1-0-g988d789"
BACKPORTED_KERNEL_VERSION="v3.13-rc1-0-g6ce4eac"
BACKPORTED_KERNEL_NAME="Linux"
