Lionel Sambuc f12160c14d Kernel: synchronize i386 and ARM clock code
Change-Id: Ie5c4653299e47aaefc9d35a8af491ad0b2eab1ab
2016-01-16 14:04:18 +01:00
..