Which kernel for GoFlex Home?

[Balanga Bar]

According to

https://wiki.freebsd.org/FreeBSDMarvell

quite a number of kernels are available for Marvell Kirkwood systems,
including:-

KERNCONF=DB-88F5XXX
KERNCONF=DB-88F6XXX
KERNCONF=DB-MV78XXX
KERNCONF=SHEEVAPLUG
KERNCONF=DREAMPLUG-1001

I have also seen references to DOCKSTAR, but I'm not sure which is most
suitable for the GoFlex Home.

I have managed to create a kernel using DOCKSTAR and the system does boot
but invariably crashes after any activity, and on reboot it hangs.
How do I diagnose the  problem?

Any advice appreciated.