linuxkpi: Define synchronize_hardirq()
It currently does the same as synchronize_irq().
Reviewed by: manu
Approved by: manu
Differential Revision: https://reviews.freebsd.org/D38079
(cherry picked from commit a609ed795943673074b71aeafafabe46d08f1a6d)