FWIW, if drm_hwcomposer uses the vertical blank interrupt for flip completion, that's a drm_hwcomposer bug. Page flips generate their own events signalling completion.