If the TOE us invoking platform-provided functionality for generating random bits, it isn't clear how the TOE would be able to log any output from an error. It is unlikely to even know there is an error in that case.
I think this needs to be written like the FCS_CKM.1 event with a selection that can be tailored to the specific implementation.