Error: Cannot open file drivers/ptp/ptp_mock_dev.c