[U-Boot] arm builds fail with with CONFIG_USE_IRQ