GfA/linux_kernel: linux kernel based on RobertCNelsons patchset https://github.com/RobertCNelson/bb-kernel @ be055b2f89b5842f41363b5655a33dffb51a8294

Suresh Siddha 9c6ff8bbb6 lguest, x86: handle guest TS bit for lazy/non-lazy fpu host models		13 lat temu
..
core.c	9c6ff8bbb6 lguest, x86: handle guest TS bit for lazy/non-lazy fpu host models	13 lat temu
switcher_32.S	a91d74a3c4 lguest: update commentry	16 lat temu