Symbol: fdtbus_decode_range