I can see some confusion in the manuals...
LPC11xx: Older devices (non-XL types) are documented correctly, i.e. DEVICE_ID is at offset 0x3F4. XL devices are missing, but probably their ID is to be read from offset 0x3F8 (I must still verify this).
LPC11Uxx: The LPC11U1x and LPC11U2x series are documented correctly, i.e. DEVICE_ID is at offset 0x3F4. LPC11U3x devices are missing, and their ID is at offset 0x3F8 (see UM table 377 for the actual ID codes).
I will double-check all this once I'm back in the office, and submit a change request for the manuals.