The pen and paper solution: [As I do it, which could be wrong, but I've never heard otherwise from the IRS.]
Social Security:
Yes, it is only taxed in the UK. For 1040,
On line 5a: Enter the gross amount received as declared on your 1099 from the SSA.
On line 5b (taxable amount): Enter 0 (just "0", no elaboration)
Form 1116
US SS is ignored totally on 1116, but nonetheless some pre-calculations need to be undertaken. I would guess you'll be using 2 separate baskets at minimum, General category income (for UK State pension and UK personal pension), and certain income re-sourced by treaty (401K and IRA). Yes, apportionment will be necessary. You'll need to determine what percentage of your total income the amount of US SS comprises, and reduce the amount of tax paid in PART II of 1116 accordingly by that percentage. If the US SS is exempt, the UK tax paid on US SS is also not included.
I'm curious as to how TurboTax calculates this, or does it depend on the taxpayer to provide accurate 'tax paid' figures?.
The simplified method and the general method for determining 'Basis in the pension'.
The 401K and IRA may use the 'simplified method' if US tax was paid on the contributions (they are US qualified pensions), but basis in the UK personal pension will have to be determined by using Publication 939, the 'general rule'. The UK personal pension is a 'non-qualified' pension for the US. The UK State pension will have no basis since the funds are used for other social programmes in addition to the Old Age Pension.
Form 1040 for pensions other than US SS
Enter to gross amount received from all the pensions (other than US SS) on line 4a. For line 4b, deduct the amount of basis allowed, and enter the result as taxable income.
Form 8938
Only the UK personal pension would be included on the 8938.
I await corrections from those far wiser.