include/config/have/pcspkr/platform.h
include/config/i2c/designware/platform.h
include/config/i2c/pca/platform.h
include/config/lcd/platform.h
include/config/pcspkr/platform.h
include/config/sata/ahci/platform.h
include/config/x86/extended/platform.h
include/xen/interface/platform.h