The 4090 doesn't meet the requirements to be banned as detailed on page 199:
"Note 2 to 3A090: 3A090 does not apply to items that are not designed or marketed for use
in datacenters and do not have a ‘total processing performance’ of 4800 or more. For integrated
circuits that are not designed or...