It looks like Lexicon is finally coming out with Atmos/HDMI 2.0/HDCP 2.2 compatible receivers (and one processor).
Of course, they really look like reskinned Arcam receivers. But, it's something.
Lexicon RV-9
https://www.lexicon.com/productdetail/~/product/rv-9.html
is probably an
Arcam AVR 850
http://www.arcam.co.uk/products,FMJ,AV-Receiver,avr850.htm
Hopefully, they will push something down towards HK or even up towards ML in the near future.