Interesting. Looks like all are toshibas. bsc#1008946 is also a toshiba. Can you guys try booting with "dis_ucode_ldr" and see if it helps? Also, can you upload full dmesg of the latest booting kernel? Thanks.