It's kind of useless to point to a bunch of random laptops with a compatible chipset. It's never that simple. You don't know what the EC is or how to talk to it, and you don't have critical info you need to really make this work. So count on about a year of effort, potentially. What if there's a magic i2c mux down in there somewhere? What if there's some weird flash locking? And on and on, it's a long list.
If somebody wants a laptop with coreboot today, that has vendor support, get an acer c7 chromebook. If you can stand the keyboard, which you really want to test. But it's an incredible deal.
ron