Add device::platform() method