remove mentions to onelab-k32 that is obsolete