yes, you are right, due to the E4 norm it is not possible to remove the DB-killer.
The shop where I orderd my 790 came with an sollution. The DB-killer is mouned with small hexagon bolt. They will drill a small hole through the carbon end cap to access it. Remove the bolt and you can get the the DB-killer out. Place a little cap in the hole and it looks likes OEM.