Fix build failure due to hwirq.h needing smp_lock.h