Yeah, that is a little unexpected behavior indeed. The TPI tool is merely a frontend for the BMCD api in the firmware. So if a bug like this arise while flashing checking that code is more useful than the client side