- fix bashisms in getsysinfo script
- mark gen-hwcfg-disk.sh as shell, no bash script
add arm platform devices