c9f19b67f04c ("xen: mark expected switch fall-through")