You could sidestep the whole issue by buying a C201 chromebook (quad-core ARM) and putting Linux on it.