The proper accounting of caps consumed for allocation of UTCBs on base-hw slightly increases the costs per thread. Issue #5408