[LinuxBIOS] Debugging technique