Vorschlag: Schreib dir ein C Programm, das kann problemlos 64bit zahlen verarbeiten.
In dem Programm rufst du dann smartctl auf, parst das und gibst halt die gewünschten 32bit zurück. Dieses Programm rufst du dann aus deinem PHP Skript auf