CONFIG_MACH_COLIBRI is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Toradex Colibri PX27x
modulename: pxa2xx_colibri.ko
and/orcolibri.ko
and/orcolibri-pxa270.ko
configname: CONFIG_MACH_COLIBRI
Select target board
└─>Toradex Colibri PX27x