K 10 svn:author V 4 manu K 8 svn:date V 27 2018-07-31T18:55:44.339594Z K 7 svn:log V 265 release: arm: Use BOARDNAME in the image name Using KERNEL made sense when all boards had different kernel configuration. Now that all of them are using GENERIC use the board name instead Reviewed by: gjb Differential Revision: https://reviews.freebsd.org/D16512 END