powerpc/85xx: handle both "secX.Y" and "sec-vX.Y" properties
[platform/kernel/u-boot.git] / board / timll /
drwxr-xr-x   ..
drwxr-xr-x - devkit8000