FIX: system/options/boot inconsistency workaround.