BSD-like kernels booter

(note: this is not yet implemented)

This can be ported from GRUB. Booting BSD kernels can be implemented like Linux-like kernels