Add some printf for hardware warp id