Changed extra_system_initialization_stack to extra_mpci_receive_server_stack to be consistent with other ports.