[U-Boot] sbc8548 build broken?