Due to the L1TF issue we had to reboot the server to use the updated kernel and for the first time, the double log entries have stopped. We know it wasn't due to the reboot, since this didn't solve it before, but it seems to have finally stopped.
I'll mark the thread SOLVED and will reopen if it occurs again.