I think I see the issue. In monitor.h, the request types have been renumbered, and the consolekit.patch sets MONITOR_REQ_CONSOLEKIT_REGISTER = 400. But, monitor_read() only reads a single byte for the type. 400 = 0x190, so we get 0x90 = 144.
Renumbering MONITOR_REQ_CONSOLEKIT_REGISTER = 144 and MONITOR_ANS_CONSOLEKIT_REGISTER = 145 fixes it. Whether these are appropriate values I couldn't say.
I think I see the issue. In monitor.h, the request types have been renumbered, and the consolekit.patch sets MONITOR_ REQ_CONSOLEKIT_ REGISTER = 400. But, monitor_read() only reads a single byte for the type. 400 = 0x190, so we get 0x90 = 144.
Renumbering MONITOR_ REQ_CONSOLEKIT_ REGISTER = 144 and MONITOR_ ANS_CONSOLEKIT_ REGISTER = 145 fixes it. Whether these are appropriate values I couldn't say.