K 10
svn:author
V 5
benno
K 8
svn:date
V 27
2013-03-01T07:00:11.344658Z
K 7
svn:log
V 189
Build both 32- and 64-bit ELF loaders on both amd64 and i386.

This is needed because otherwise we don't build the 32-bit ELF loader for the
i386 loader code used to boot amd64 under BIOS.

END