Correct but that's still a rather small market compared to e.g. chromebooks which can use anything from arm or qualcomm.