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