hi all, what is the best biscuit board currently supported for linuxbios. Which experience do you have with the pcm 5823? is the sst28SF040 enough (512KB) to include a linux kernel in the bios? thanks -- Jakob