arch/x86/platform/pvh/Makefile - kernel/common - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 OBJECT_FILES_NON_STANDARD_head.o := y

 obj-$(CONFIG_PVH) += enlighten.o
 obj-$(CONFIG_PVH) += head.o
	# SPDX-License-Identifier: GPL-2.0
	OBJECT_FILES_NON_STANDARD_head.o := y

	obj-$(CONFIG_PVH) += enlighten.o
	obj-$(CONFIG_PVH) += head.o