Chromebooks with discrete graphics could be on the way