XPost: linux.debian.bugs.dist 
 From: johndoe9232@firemail.cc 
  
 When I wrote to ASUS support in my country, they replied that they do 
 not support Linux and closed the ticket. Perhaps someone else should 
 contact support, as they might be more responsive in another country. 
  
 >Thanks.  This makes it a firmware issue. 
 >In bugs.debian.org/cgi-bin/bugreport.cgi?bug=1114695#30 it was 
 reported that version 305 of the firmware works, but 312 fails. 
 >Bastian 
  
 Is it possible that the problem is not in the firmware but in the 
 kernel code? For example, if firmware version€€€305 had Indirect Branch 
 Tracking disabled and version€€€312 enabled it, could that have exposed a 
 kernel bug that causes the system to hang at boot? 
  
 --- SoupGate-Win32 v1.05 
  * Origin: you cannot sedate... all the things you hate (1:229/2)