#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.9.220-gnu Kernel Configuration
+# Linux/arm64 4.9.233-gnu Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_EFI_BOOTLOADER_CONTROL=m
CONFIG_EFI_CAPSULE_LOADER=m
CONFIG_EFI_TEST=m
+CONFIG_EFI_CUSTOM_SSDT_OVERLAYS=y
# CONFIG_MESON_SM is not set
CONFIG_ACPI=y
CONFIG_ACPI_GENERIC_GSI=y