hw_arndale: use core local timer in kernel

Ref #706
hw_arndale: userland timer driver

Ref #706
AHCI driver: separate PCI specifics from the rest

Ref #706