I believe that the firmware is defaulting to the W8400NEX when it can't lookup the 4500NEX product XML in sysd.conf. This was resulting in a really delayed startup. I transplanted the correct entry from the 8500NEX 1.08 update file using the strings command on the Platform PRG file, which fixed my problem. For reference:
<!-- *************************************************************************** -->
<!-- ******************************19AJ start*********************************** -->
<!-- *************************************************************************** -->
