After a few minutes of waiting for the updates I restarted and still did not have 8400 However  it had not yet been officially announced Earlier today I saw the announcement of its official release and I checked for updates again just to see