On Wed, 4 Nov 2015, Matt Fleming wrote:> for you to fetch changes up to 5965d1bbeba70fe3626e4537f4729283cb0e75f7:> > x86/setup: Fix recent boot crash on 32-bit SMP machines (2015-11-04 09:26:24 +0000)I just picked that up manually :)