# CONFIG_EFI_RCI2_TABLE is not set