What was the most difficult hardware bug you had to debug using firmware, and what tools did you use to diagnose it?