Do you guys think I should either 1.Get a libreboot thinkpad x200 from retrofreedom and then have only 8GB’s of ram to where I can still use KVM but i’ll be a bit more limited in terms of ram or 2.Get a thinkpad x230 from ebay,save up for a couple of months,and then send it to retrofreedom for retroboot installation ,have 16GB’s of ram and run better VM’s but having the disadvantage of it not being libreboot but still being pretty good because of retroboot.