Feature request: Adding device ID to kernel option driver