K 10 svn:author V 6 andrew K 8 svn:date V 27 2013-12-19T18:52:27.453023Z K 7 svn:log V 54 Re-enable the FreeBSD boot ABI, it works as expected. END