@John - First, I see that Carlos reports the same AE_TIME errors in the bug this is marked a duplicate of -- I do suspect its the same issue. Second, it looks to me like the timestamps shown in the kernel log go crazy (at the point where you resume?):
...
Jun 17 15:27:28 jtrostele6410 kernel: [ 6012.451896] CPU 3 is now offline
Jun 17 15:27:28 jtrostele6410 kernel: [ 6012.451898] SMP alternatives: switching to UP code
Jun 17 15:27:28 jtrostele6410 kernel: [ 6012.456180] Extended CMOS year: 2000
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.075235] Extended CMOS year: 2000
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.075259] Enabling non-boot CPUs ...
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.075437] SMP alternatives: switching to SMP code
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.079124] Booting processor 1 APIC 0x4 ip 0x6000
@John - First, I see that Carlos reports the same AE_TIME errors in the bug this is marked a duplicate of -- I do suspect its the same issue. Second, it looks to me like the timestamps shown in the kernel log go crazy (at the point where you resume?): 075235] Extended CMOS year: 2000 075259] Enabling non-boot CPUs ... 075437] SMP alternatives: switching to SMP code 079124] Booting processor 1 APIC 0x4 ip 0x6000
...
Jun 17 15:27:28 jtrostele6410 kernel: [ 6012.451896] CPU 3 is now offline
Jun 17 15:27:28 jtrostele6410 kernel: [ 6012.451898] SMP alternatives: switching to UP code
Jun 17 15:27:28 jtrostele6410 kernel: [ 6012.456180] Extended CMOS year: 2000
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.
Jun 17 15:27:28 jtrostele6410 kernel: [18446744049.
Please try booting with the kernel param "notsc".