Added #include for sys/vcore-tls.h for x86