As of Aug 1, Samsung appears to have released a new driver for all currently supported printers, with the version of 1.00.06. Theis driver appears to add ARM support, but the structure of the driver is very different from previous versions. Samsung also appears to have removed the Configurator and many other components. As time permits, I will work on packaging this version and creating packages for ARM devices. It will be at least a few weeks, due to my limited free time and the complexity involved.
In the meantime, if anyone tests the installer directly from Samsung, please share any experiences.