Here it is:
# SPDX-License-Identifier: GPL-2.0-or-later
# Copyright (C) 2009-2014 Stephan Raue ([email protected])
# Copyright (C) 2016-present Team LibreELEC (LibreELEC – Just enough OS for KODI)
################################################################################
# Bootloader configuration - config.txt
################################################################################
disable_splash=1
hdmi_enable_4kp60=1
dtparam=spi=on
dtparam=i2c1=on
################################################################################
# Memory (System/GPU configuration )
################################################################################
# Default GPU memory split - at least 288M is needed for some 4k HEVC files
gpu_mem=320
################################################################################
# For overclocking and various other settings, see:
# config.txt - Raspberry Pi Documentation
################################################################################
# Set 'force_turbo=1' to disable dynamic overclocking and enable overclocking always.
force_turbo=0
# Force HDMI even if unplugged or powered off
# hdmi_force_hotplug=1
# Doesn't sent initial active source message.
# Avoids bringing CEC (enabled TV) out of standby and channel switch when
# rebooting.
hdmi_ignore_cec_init=1
################################################################################
# End of default configuration
################################################################################
################################################################################
# Include distribution specific config file if it exists.
################################################################################
[all]
include distroconfig.txt