As this was the only platform not providing this guarantee, this change
establishes the invariant that the BSP is CPU ID 0 regardless of the
platform/machine/architecture.
Add a check (under INVARIANTS) that the ID returned through
platform_smp_get_bsp() is indeed 0. This is done in cpu_mp_start() so
that the machine is sufficiently initialized to be able to print
a panic.