(tcbhead_t): Add sysinfo member.