added the choosing of architecture into
    OS_Booting widget;
some improvements for it;