K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2017-10-30T23:14:48.813378Z
K 7
svn:log
V 501
We don't need to build a special ficl for userboot.

Prior to bringing efi into the system, amd64 systems were building
32-bit ficl only, while userboot required the 64-bit one. However,
with efi, we now build both. userboot can and should use the one we
build for the main tree (in fact, it has been for a while, though I
didn't check to see if that was an intentional change before, or an
accidental one in my cleanup). Eliminate the extra copy (and build
time) for userboot.

Sponsored by: Netflix

END