XPost: linux.debian.bugs.dist 
 From: johndoe9232@firemail.cc 
  
 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. 
  
 --- SoupGate-Win32 v1.05 
  * Origin: you cannot sedate... all the things you hate (1:229/2)