CONFIG_MACH_SEABOARD is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Seaboard board
modulename: board-seaboard.ko
and/orboard-seaboard-pinmux.ko
configname: CONFIG_MACH_SEABOARD
Linux Kernel Configuration
└─>Seaboard board
In linux kernel since version 2.6.39 (release Date: 2011-05-18)
Support for nVidia Seaboard development platform. It will
also be included for some of the derivative boards that
have large similarities with the seaboard design.
also be included for some of the derivative boards that
have large similarities with the seaboard design.