Well that's just dumb. They should've made ARM a first citizen for ChromeOS from day one. I saw a rumor about a future Samsung Chromebook that will use a dual core 2 Ghz Cortex A15 chip, so maybe it's coming soon.