4b99ca8e4c
This produce a generic sdcard image using armv7 GENERIC kernel that just need some u-boot (or none if the board have u-boot or a SPI flash for example). Reviewed by: imp, gjb Differential Revision: https://reviews.freebsd.org/D16410