IO firmware: Change to inttypes header