Custom kernel for RPi2 and 3

[bob prohaska]

I've tried to edit the kernel configs for both Pi2 and Pi3, with
some success. Both compile, boot and run. 

The Pi2 kernel seems to stall some hours into a j1 buildworld, but
kept one ssh/cu session alive (until the pl2303 froze up, which is normal).
That the ssh/cu session remained up when all other ssh connections froze
is more than slightly strange.

The Pi3 kernel seems to be working better, the make -j4 buildworld log 
file is over 11 MB after fourteen hours uptime. However, the top window
refresh has become jerky; that likely portends trouble. 

If anyone is willing to examine and advise me on improvements to the
kernel configuration files I'd be most grateful. The files, with some
supporting information, can be found in: 

http://www.zefox.net/~fbsd/rpi2/kernel_config/

and

http://www.zefox.net/~fbsd/rpi3/kernel_config/ 

Thanks for reading!

bob prohaska