[U-Boot] [PATCH] arm: fix a build error with CONFIG_USE_IRQ