I replaced the Lenovo BIOS from my x200s and now It boots a lot faster. So there are good reasons to do exactly that....