c3c2862df4
which allows ipis to be sent outside of Giant. - Remove the ap boot mutex, which is unused.
which allows ipis to be sent outside of Giant. - Remove the ap boot mutex, which is unused.