Hello. After studying the Lexmark cs410 printer, one can find extended firmware logs:
http://<IPaddressOfPrinter>/se
Additionally one can finger the printer in a standard linux shell via
nc <IPaddressOfPrinter> 79
and issue commands like setup, firewalld, info, history, dnstable, backend, alerts, t30log
Edit: Attached log might be of any value. Search for keywords like osikey, osi debug, bios debug. And find the inner working register values