[RndTbl] reliable way of counting real CPUs under Linux?