Re: [PATCH v2 05/17] x86: Add a clock driver for Intel devices