From Dominik Brodowski.

Add support for newest "Mobile Pentium 4-M" and the new "Mobile Pentium 4 with
533 MHz FSB" processors.