# CONFIG_MICROCODE_DBG is not set
