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