[greybus-dev] [PATCH 0/2] improve arche_platform_wd_irq() function