On Xen targets, generate a symbol table that can be used to produce stack traces with xenctx.