I think what you are talking about is Machine Check Exception reporting. It's under the "processor type and features" section if you are using "make menuconfig."