[ALUG] kernel build options (make menuconfig) for Core 2 Duo processor