[xilinx]: state_not_allowed is now properly set when appropriate