update manual too allow more types of processor flags
Authored by: paulcockshott 2009-04-24
Parent: [r93]
Child: [r95]