xref: /openbmc/linux/arch/x86/coco/Makefile (revision c4c3c32d)