x86: implement default (in switches)