> How do you build the microcode into the kernel? The only > place I can see to do that in menuconfig is under Device Drivers; there's no > such field under Firmware.
The Device Drivers section is exactly where the microcode is included. CONFIG_EXTRA_FIRMWARE is the relevant symbol.
