This patch splits timer resource from 0x40-0x5f to 0x40-0x43, 0x50-053 
for x86_64. A patch doing this for i386 was released earlier. Forgot 
that we have two x86 platforms.

--
Pierre Ossman