pentium4m is a valid CPU name, add it to the list.