Add patch for kernel v3.12.20 for x86 tools