BOOT_HART_INVALID
uint32_t boot_hart = BOOT_HART_INVALID; /* The hart we booted on. */
if (boot_hart == BOOT_HART_INVALID) {