std.sbmips.eb or std.sbmips.el config include file in the kernel config file. Idea from the evbsh3 port.