f625000e52
Or else init_secondary will hit a page fault (or write garbage somewhere). Sponsored by: Citrix Systems R&D