How about adding a DeviceString() function to Device which prints out the string expected by the kernel. We'd be able to do that instead of the Sprintf in those two places above.