​Major Linux redesign in the works to deal with Intel security flaw