[Bug 870987] Kernel Panic when booting into ARM configuration