What laptop hardware do you recommend for using genode? I noticed one of the presentations was done using genode to display slides from a lenovo thinkpad of some sort. Is this what the genode team is using and what they're targeting for daily use? What particular hardware is being targeted?