It's not just the virtualization, ChromeOS has had a lot of work put into performance. The low-end ARM Chromebooks use the same hardware as budget Android devices, and they're noticeably faster. My Android phone uses more RAM doing nothing from a fresh boot than those Chromebooks even have.