Update device_system.h

added initial HPX support