I have added packages for the latest Samsung driver, driver2-1.00.35. This was released by Samsung in March, and seems to provide a lot of ppd adjustments that may fix minor issues (although I have tested anything) with a range of printers.
There was no ARM driver version provided for this version. I don't know if this is a fluke, a mistake, or if Samsung no longer intends to provide ARM drivers.