Add BUG_ON to paravirt implementation