CONFIG_MACH_MARZEN_REFERENCE is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

MARZEN board - Reference Device Tree Implementation

modulename: board-marzen-reference.ko

configname: CONFIG_MACH_MARZEN_REFERENCE

Linux Kernel Configuration
└─>MARZEN board - Reference Device Tree Implementation
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Use reference implementation of Marzen board support
which makes use of device tree at the expense
of not supporting a number of devices.

This is intended to aid developers

source code: