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 :) -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html