# CONFIG_OVMF_DEBUG_LOG is not set
