Marshall ,I think its fairly obvious from the extract you gave as to how it should work. In the first table the person writing it probably cut and pasted most of the table and neglected to update the IP0 to IP1 in the correct entries. The second table shows what bits are where and this makes rational sense to me - it makes sense to have separate bits for each interrupt source.
Best be sending a fault report to Philips methinks!