MODINFOMD_BOOT_HARTID
file_addmetadata(fp, MODINFOMD_BOOT_HARTID, sizeof(boot_hartid),
#ifdef MODINFOMD_BOOT_HARTID
case MODINFOMD_BOOT_HARTID:
#ifdef MODINFOMD_BOOT_HARTID
case MODINFO_METADATA | MODINFOMD_BOOT_HARTID:
MODINFO_METADATA | MODINFOMD_BOOT_HARTID);