when waking up secondary cores send an event() since they are spinning on mailbox...