LWKT_THREAD_STACK
lwkt_init_thread(&thread0, proc0paddr, LWKT_THREAD_STACK, 0, gd);
td2 = lwkt_alloc_thread(NULL, LWKT_THREAD_STACK, gd->gd_cpuid, 0);
td = lwkt_alloc_thread(NULL, LWKT_THREAD_STACK, cpu, flags);
td = lwkt_alloc_thread(template, LWKT_THREAD_STACK, cpu,
char proc0paddr_buff[LWKT_THREAD_STACK];