IW7 setup update: kernel config 3.13.2, ABI_X86