This bug was fixed in the package linux - 3.8.0-19.29 --------------- linux (3.8.0-19.29) raring; urgency=low [ Paolo Pisati ] * UBUNTU: [Config] disable PL330_DMA - LP: #1168039 [ Rob Herring ] * UBUNTU: SAUCE: (no-up) ARM: highbank: fix cache flush ordering for cpu hotplug - LP: #1169956 [