Is there a specific reason for which we're providing a different mbed_die for this specific platform? If the manufacturer requested it, for example, that's fine; otherwise it adds unnecessary fragmentation (life is more clear when all the mbed boards behave in the same way when they "die").