Bug#1114695: (no subject)

[John Doe]

I found the cause: the kernel won't boot because of the kernel config
option CONFIG_X86_KERNEL_IBT=y. The problem is worked around by setting
the kernel option ibt=off in GRUB; when using ibt=off the system boots
successfully.