Make the is_device_mounted() helper accept partitions as well as devices.
This allows for calling code not to care about wether the device is a partition or a root device:
is_device_mounted("/dev/sda") is valid, and now is_device_mounted("/dev/sda1") is valid as well and should return sensible values.