Debugging the linuxBIOS code