Re: [PATCH v2 01/13] x86: Add a clock driver for Intel devices