The version of the SEC2 RTOS previously used does not function correctly
on certain newer GP10[2467] boards.
There are API differences between the two firmware versions, so both are
required to maintain forward/backward compatibility with the kernel code.
Signed-off-by: Ben Skeggs <bskeggs@redhat.com>