bootspi parameters

[Warner Losh]

> The SD card is still virgin msdosfs, so not surprising that there is no
> kernel.

Yes.  However, I'd have thought it would have printed some error
message to that effect.

> Btw.: How can I build a kernel.gz.tramp?

make kernel.tramp

> Interestingly I need to type every character twice at boot prompt.

That's a plain, old-fashioned bug.  I'll have to work on fixing it now
that I can write the iic part from FreeBSD...

Warner