[PATCH] get_options to allow a hypenated range for isolcpus