Do not build x86 userboot loader support