[U-Boot-Users] Timer IRQs appear broken on 8548/e500v2