[meta-xilinx] Kernel configurations for different machines

[Edward Wingate]

The virtual/kernel provider for a machine A is the linux-xlnx-dev recipe.

I point to a kernel configuration by adding this to
linux-xlnx-dev.bbappend file in my layer:
FILESEXTRAPATHS_prepend := "${THISDIR}/files:"
SRC_URI += "file://customconfig.cfg"

I now have a machine B that I also want to use the linux-xlnx-dev
kernel recipe.  But I want machine B to use a different kernel
configuration.  How would I do this?  Do I somehow specify in the
linux-xlnx-dev.bbappend file to use different configs for different
machines?

Thanks for your help.

Ed