--- arch/x86/kernel/tboot.c

+++ arch/x86/kernel/tboot.c

@@ -46,6 +46,7 @@

/* Global pointer to shared data; NULL means no measured launch. */

struct tboot *tboot __read_mostly;

+EXPORT_SYMBOL(tboot);

/* timeout for APs (in secs) to enter wait-for-SIPI state during shutdown */

#define AP_WAIT_TIMEOUT 1