5400RPM disk bude pomalejší (je určen na Data, ale ne na OS), to Lenovo má 16GB SSD disk, což je na OS docela málo a nesmíte do něj cpát nic navíc.
Případně bych za ušetřené peníze koupil třeba https://www.alza.cz/samsung-ssd840-120gb-7mm-d3616 36.htm (Velice dobrý, kvalitní a dostatečně velký SSD disk).
Nebo levnější, stejně kvalitní ale menší (přesto kapacitou větší než ten co je v Lenovu) https://www.alza.cz/crucial-m4-64gb-7mm-d289079.ht m

Edit -> Výměnou SSD disku samozřejmě záruku neztratíte! (Jen pro info)