total: 0 errors, 0 warnings, 0 checks, 594 lines checked

0001-drivers-refactor-rename-platform_timer-functions-to-.patch has no obvious style problems and is ready for submission.