[Libreboot] BBB kernel

[gaspipe]

Hello,

My BBB will not flash over SPI after installing another OS on the flash, and 
I believe it is  because of the kernel. Can somebody send me a copy of their 
kernel with working spidev, and/or a kernel .config so I can compile my own?

Thanks