This 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.