* device/include/mcs51/C8051F520.h: fixed buggy CPT0MX