As you mentioned, we do not correctly identify the P4-based Celeron in
the kernel configuration help.  Unfortunately, Intel has called all
Celeron products simply "Celeron", so we call these "P4-based Celerons".