[LinuxBIOS] Good JTAG debuggers?