If I setthe Device ID in the GUI, the upper 8 bits will always be 00. For example, ifa 16-bit device ID is set in the GUI as '1234', the default Device ID value would be '0034' instead of '1234'.
This is a known issue to be fixed in a future release of the core.
In the meantime, to work around this issue, write to the register to get it to be the correct '1234' value.
07/25/2012 - Initial release