834* driver/intr_x86-64.S: Fix for when CONFIG_PARAVIRT is not turned on.