linux_driver: Fixed build that was broken by 894f0f48d6c9