Update kernel configuration to 3.15.5 to x86 and x86_64.