make syslinux-theme an arch independent package
add 64bit build support