Was this at stops other than Riviera? There is no separate pull-off for HA boarding at Riviera, they just slow the line way down and stop it if necessary.
I have seen sporadic reports in the past of just one queue, usually during more "quiet" times with low crowds.