CONFIG_MACH_CRANEBOARD is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
AM3517/05 CRANE board
modulename: board-am3517crane.ko
configname: CONFIG_MACH_CRANEBOARD
Linux Kernel Configuration
└─>TI OMAP/AM/DM/DRA Family
└─>TI OMAP2/3/4 Specific Features
└─>AM3517/05 CRANE board