[coreboot] Lenovo X60

[Eugen Leitl]

I've decided to buy a Lenovo X60 over Asrock E350M1 for Coreboot
experimenting. I see you can boot to a desktop in under 10 seconds,
what kind of a lean yet hacker-oriented environment do you people 
recommend for that? (I'll probably go with a 128 GByte SSD instead 
of stock HDD).

Do you have a specific kernel/build suggestions for the X60 or 
will stock Debian do? Thanks.