JOEL4: fix L4_DebugPutChar implementation

Added eax and ecx to the clobber list so GCC knows not to reuse those registers
without saving them first. Eax was being given double duty, causing the code to
enter an infinite loop. Now printf works as expected with %x.

Signed-off-by: Joel Nider <joel@nider.org>