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