The chip silkscreen and DIEID (0x40000FFC) indicate that the chip version is 1B, but I don't know exactly which model number of the LPC55x3x. The register (0x40000FF8) is 0x501A11A1, but I can't find the corresponding model and package in the manual. Which model number does the Device ID refer to?