K 10
svn:author
V 6
royger
K 8
svn:date
V 27
2018-05-24T10:22:57.511754Z
K 7
svn:log
V 138
xen/pvh: allocate dbg_stack

Or else init_secondary will hit a page fault (or write garbage
somewhere).

Sponsored by:	Citrix Systems R&D

END