[Libreboot] BBB kernel

[dch]

Hello,

I can't seem to get spidev working on my Beaglebone black, and I think it's an 
issue with the kernel. 
Can anyone send me a compiled kernel where SPI works, and/or a kernel .config?

Thanks