xeon: kernel config updated to 3.13.9
backbone: kernel config updated to 3.13.9
backbone: kernel config updated to 3.14.1 (+SMP)