Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) # SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) # Makefile for linux/drivers/platform
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) obj-$(CONFIG_X86)		+= x86/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) obj-$(CONFIG_MELLANOX_PLATFORM)	+= mellanox/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) obj-$(CONFIG_MIPS)		+= mips/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) obj-$(CONFIG_OLPC_EC)		+= olpc/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) obj-$(CONFIG_GOLDFISH)		+= goldfish/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) obj-$(CONFIG_CHROME_PLATFORMS)	+= chrome/