My results:

sys		pc			pc64

x201	ok			ok
x220	ok			ok
t420	fail		ok
t430	ok			ok
t430s	ok			ok
t500	ok			ok
t510	ok			ok
t43p	ok			-
t60		ok			-
a30		ok			-

I've attached a screenshot of the machine/kernel combo that failed to boot. Hope that helps.