So, I've finally hooked up a serial cable.
@CasualNinja: Indeed, you're right. As soon as I eject the second microsd card, the board boots up fine.

@kmihelich: I just installed your new kernel on a 8GB microsd card (rootfs). The second microsd card is a 16GB card with one large ext4 data partition. With just the 8GB microsd card inserted, the board boots up without problems. With both cards, I get the following messages on the serial console:
$this->bbcode_second_pass_code('', '
U-Boot 2014.01 (Mar 19 2014 - 15:46:50) Arch Linux ARM
CPU: Freescale i.MX6Q rev1.2 at 792 MHz
Reset cause: POR
Board: Wandboard
DRAM: 2 GiB
MMC: FSL_SDHC: 0, FSL_SDHC: 1
*** Warning - bad CRC, using default environment
In: serial
Out: serial
Err: serial
Net: FEC [PRIME]
Hit any key to stop autoboot: 1 0
mmc0 is current device
SD/MMC found on device 0
** File not found /boot/uEnv.txt **
Checking if uenvcmd is set ...
Running default loaduimage ...
** File not found /boot/uImage **
Running default loadzimage ...
3601392 bytes read in 218 ms (15.8 MiB/s)
[41C
41975 bytes read in 89 ms (460 KiB/s)
[37C
Booting from mmc ...
[20C
Kernel image @ 0x12000000 [ 0x000000 - 0x36f3f0 ]
[49C
## Flattened Device Tree blob at 18000000
[41C
Booting using the fdt blob at 0x18000000
[43C
Using Device Tree in place at 18000000, end 1800d3f6
[55C
Starting kernel ...
[19C
Booting Linux on physical CPU 0x0
Initializing cgroup subsys cpuset
Initializing cgroup subsys cpu
Initializing cgroup subsys cpuacct
Linux version 3.10.17-1-ARCH (nobody@root-chroot-copy) (gcc version 4.8.2 20131219 (prerelease) (GCC) ) #1 SMP Mon May 12 14:37:19 MDT 2014
CPU: ARMv7 Processor [412fc09a] revision 10 (ARMv7), cr=10c5387d
CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing instruction cache
Machine: Freescale i.MX6 Quad/DualLite (Device Tree), model: Wandboard Quad based on Freescale i.MX6 Quad
Truncating RAM at 10000000-8fffffff to -7f7fffff (vmalloc region overlap).
cma: CMA: reserved 256 MiB at 6e000000
Memory policy: ECC disabled, Data cache writealloc
PERCPU: Embedded 8 pages/cpu @81c02000 s9344 r8192 d15232 u32768
Built 1 zonelists in Zone order, mobility grouping on. Total pages: 453136
Kernel command line: console=ttymxc0,115200 root=/dev/mmcblk0p1 rw rootwait video=
PID hash table entries: 4096 (order: 2, 16384 bytes)
Dentry cache hash table entries: 262144 (order: 8, 1048576 bytes)
Inode-cache hash table entries: 131072 (order: 7, 524288 bytes)
allocated 3653632 bytes of page_cgroup
please try 'cgroup_disable=memory' option if you don't want memory cgroups
Memory: 1784MB = 1784MB total
Memory: 1530168k/1530168k available, 296648k reserved, 0K highmem
Virtual kernel memory layout:
vector : 0xffff0000 - 0xffff1000 ( 4 kB)
fixmap : 0xfff00000 - 0xfffe0000 ( 896 kB)
vmalloc : 0xf0000000 - 0xff000000 ( 240 MB)
lowmem : 0x80000000 - 0xef800000 (1784 MB)
modules : 0x7f000000 - 0x80000000 ( 16 MB)
.text : 0x80008000 - 0x80cbf5ac (13022 kB)
.init : 0x80cc0000 - 0x80d10480 ( 322 kB)
.data : 0x80d12000 - 0x80d729a0 ( 387 kB)
.bss : 0x80d729a0 - 0x80dea0d0 ( 478 kB)
SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=4, Nodes=1
Hierarchical RCU implementation.
NR_IRQS:16 nr_irqs:16 16
L310 cache controller enabled
l2x0: 16 ways, CACHE_ID 0x410000c7, AUX_CTRL 0x32070000, Cache size: 1048576 B
sched_clock: 32 bits at 3000kHz, resolution 333ns, wraps every 1431655ms
CPU identified as i.MX6Q, silicon rev 1.2
Console: colour dummy device 80x30
Calibrating delay loop... 1581.05 BogoMIPS (lpj=7905280)
pid_max: default: 32768 minimum: 301
Mount-cache hash table entries: 512
Initializing cgroup subsys memory
Initializing cgroup subsys devices
Initializing cgroup subsys freezer
Initializing cgroup subsys blkio
Initializing cgroup subsys perf_event
CPU: Testing write buffer coherency: ok
CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
Setting up static identity map for 0x806b4b10 - 0x806b4b68
CPU1: Booted secondary processor
CPU1: thread -1, cpu 1, socket 0, mpidr 80000001
CPU2: Booted secondary processor
CPU2: thread -1, cpu 2, socket 0, mpidr 80000002
CPU3: Booted secondary processor
CPU3: thread -1, cpu 3, socket 0, mpidr 80000003
Brought up 4 CPUs
SMP: Total of 4 processors activated (6324.22 BogoMIPS).
CPU: All CPU(s) started in SVC mode.
devtmpfs: initialized
xor: measuring software checksum speed
arm4regs : 1102.000 MB/sec
8regs : 857.200 MB/sec
32regs : 902.000 MB/sec
xor: using function: arm4regs (1102.000 MB/sec)
pinctrl core: initialized pinctrl subsystem
regulator-dummy: no parameters
NET: Registered protocol family 16
DMA: preallocated 256 KiB pool for atomic coherent allocations
Use WDOG1 as reset source
syscon 20c8000.anatop: regmap [mem 0x020c8000-0x020c8fff] registered
vdd1p1: 800 <--> 1375 mV at 1125 mV
vdd3p0: 2800 <--> 3150 mV at 3000 mV
vdd2p5: 2000 <--> 2750 mV at 2425 mV
cpu: 725 <--> 1450 mV at 1150 mV
vddpu: 725 <--> 1450 mV at 1150 mV
vddsoc: 725 <--> 1450 mV at 1175 mV
syscon 20e0000.iomuxc-gpr: regmap [mem 0x020e0000-0x020e0037] registered
syscon 21bc000.ocotp-ctrl: regmap [mem 0x021bc000-0x021bffff] registered
hw-breakpoint: found 5 (+1 reserved) breakpoint and 1 watchpoint registers.
hw-breakpoint: maximum watchpoint size is 4 bytes.
imx6q-pinctrl 20e0000.iomuxc: initialized IMX pinctrl driver
bio: create slab <bio-0> at 0
raid6: int32x1 91 MB/s
raid6: int32x2 128 MB/s
raid6: int32x4 128 MB/s
raid6: int32x8 145 MB/s
raid6: using algorithm int32x8 (145 MB/s)
raid6: using intx1 recovery algorithm
mxs-dma 110000.dma-apbh: initialized
1P8V: 1800 mV
2P5V: 2500 mV
3P3V: 3300 mV
usb_otg_vbus: 5000 mV
vgaarb: loaded
i2c-core: driver [max17135] using legacy suspend method
i2c-core: driver [max17135] using legacy resume method
SCSI subsystem initialized
usbcore: registered new interface driver usbfs
usbcore: registered new interface driver hub
usbcore: registered new device driver usb
i2c i2c-0: IMX I2C adapter registered
i2c i2c-1: IMX I2C adapter registered
i2c i2c-2: IMX I2C adapter registered
media: Linux media interface: v0.10
Linux video capture interface: v2.00
pps_core: LinuxPPS API ver. 1 registered
pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <giometti@linux.it>
PTP clock support registered
imx-ipuv3 2400000.ipu: IPU DMFC NORMAL mode: 1(0~1), 5B(4,5), 5F(6,7)
imx-ipuv3 2800000.ipu: IPU DMFC NORMAL mode: 1(0~1), 5B(4,5), 5F(6,7)
mxc_mipi_csi2 21dc000.mipi_csi: i.MX MIPI CSI2 driver probed
mxc_mipi_csi2 21dc000.mipi_csi: i.MX MIPI CSI2 dphy version is 0x3130302a
MIPI CSI2 driver module loaded
Advanced Linux Sound Architecture Driver Initialized.
cfg80211: Calling CRDA to update world regulatory domain
Switching to clocksource mxc_timer1
imx6q-pcie 1ffc000.pcie: phy link never came up
PCI host bridge to bus 0000:00
pci_bus 0000:00: root bus resource [io 0x1000-0x10000]
pci_bus 0000:00: root bus resource [mem 0x01000000-0x01efffff]
pci_bus 0000:00: No busn resource found for root bus, will use [bus 00-ff]
PCI: bus0: Fast back to back transfers disabled
PCI: bus1: Fast back to back transfers enabled
pci 0000:00:00.0: BAR 0: assigned [mem 0x01000000-0x010fffff]
pci 0000:00:00.0: BAR 6: assigned [mem 0x01100000-0x0110ffff pref]
pci 0000:00:00.0: PCI bridge to [bus 01]
NET: Registered protocol family 2
TCP established hash table entries: 16384 (order: 5, 131072 bytes)
TCP bind hash table entries: 16384 (order: 5, 131072 bytes)
TCP: Hash tables configured (established 16384 bind 16384)
TCP: reno registered
UDP hash table entries: 1024 (order: 3, 32768 bytes)
UDP-Lite hash table entries: 1024 (order: 3, 32768 bytes)
NET: Registered protocol family 1
RPC: Registered named UNIX socket transport module.
RPC: Registered udp transport module.
RPC: Registered tcp transport module.
RPC: Registered tcp NFSv4.1 backchannel transport module.
hw perfevents: enabled with ARMv7 Cortex-A9 PMU driver, 7 counters available
pureg-dummy: no parameters
imx6_busfreq busfreq.15: DDR medium rate not supported.
Bus freq driver module loaded
wandboard-rfkill rfkill.25: Wandboard rfkill initialization
wandboard-rfkill rfkill.25: initialize wifi chip
wandboard-rfkill rfkill.25: wifi-rfkill registered.
wandboard-rfkill rfkill.25: initialize bluetooth chip
wandboard-rfkill rfkill.25: bluetooth-rfkill registered.
VFS: Disk quotas dquot_6.5.2
Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
NFS: Registering the id_resolver key type
Key type id_resolver registered
Key type id_legacy registered
jffs2: version 2.2. (NAND) © 2001-2006 Red Hat, Inc.
fuse init (API version 7.22)
bio: create slab <bio-1> at 1
Btrfs loaded
msgmni has been set to 3500
async_tx: api initialized (async)
Block layer SCSI generic (bsg) driver version 0.4 loaded (major 249)
io scheduler noop registered
io scheduler deadline registered
io scheduler cfq registered (default)
imx-weim 21b8000.weim: WEIM driver registered.
MIPI DSI driver module loaded
mxc_sdc_fb fb.26: register mxc display driver hdmi
mxc_hdmi 20e0000.hdmi_video: Detected HDMI controller 0x13:0xa:0xa0:0xc1
fbcvt: 1920x1080@60: CVT Name - 2.073M9
mxc_sdc_fb fb.26: 1920x1080 h_sync,r,l: 44,88,148 v_sync,l,u: 5,4,36 pixclock=148500000 Hz
imx-ipuv3 2400000.ipu: IPU DMFC DP HIGH RESOLUTION: 1(0,1), 5B(2~5), 5F(6,7)
mxc_sdc_fb fb.26: 1920x1080 h_sync,r,l: 44,88,148 v_sync,l,u: 5,4,36 pixclock=148500000 Hz
Console: switching to colour frame buffer device 240x67
imx-sdma 20ec000.sdma: no iram assigned, using external mem
imx-sdma 20ec000.sdma: loaded firmware 1.1
imx-sdma 20ec000.sdma: initialized
mxc_sdc_fb fb.26: 640x480 h_sync,r,l: 96,16,48 v_sync,l,u: 2,10,33 pixclock=25175000 Hz
Serial: IMX driver
2020000.serial: ttymxc0 at MMIO 0x2020000 (irq = 58) is a IMX
console [ttymxc0] enabled
21ec000.serial: ttymxc2 at MMIO 0x21ec000 (irq = 60) is a IMX
serial: Freescale lpuart driver
[drm] Initialized drm 1.1.0 20060810
[drm] Initialized vivante 1.0.0 20120216 on minor 0
mxc_sdc_fb fb.26: 1920x1080 h_sync,r,l: 44,88,148 v_sync,l,u: 5,4,36 pixclock=148500000 Hz
brd: module loaded
loop: module loaded
Wait for CR ACK error!
sata phy RX_PLL is stable!
ahci: SSS flag set, parallel bus scan disabled
ahci ahci: AHCI 0001.0300 32 slots 1 ports 3 Gbps 0x1 impl platform mode
ahci ahci: flags: ncq sntf stag pm led clo only pmp pio slum part ccc apst
scsi0 : ahci_platform
ata1: SATA max UDMA/133 mmio [mem 0x02200000-0x02203fff] port 0x100 irq 71
libphy: fec_enet_mii_bus: probed
fec 2188000.ethernet eth0: registered PHC device 0
ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
ehci-pci: EHCI PCI platform driver
usbcore: registered new interface driver usb-storage
ci_hdrc ci_hdrc.1: doesn't support gadget
ci_hdrc ci_hdrc.1: EHCI Host Controller
ci_hdrc ci_hdrc.1: new USB bus registered, assigned bus number 1
ci_hdrc ci_hdrc.1: USB 2.0 started, EHCI 1.00
hub 1-0:1.0: USB hub found
hub 1-0:1.0: 1 port detected
mousedev: PS/2 mouse device common for all mice
i2c-core: driver [isl29023] using legacy suspend method
i2c-core: driver [isl29023] using legacy resume method
snvs_rtc 20cc034.snvs-rtc-lp: rtc core: registered 20cc034.snvs-rtc-lp as rtc0
i2c /dev entries driver
mxc_v4l2_output v4l2_out.28: V4L2 device registered as video16
mxc_v4l2_output v4l2_out.28: V4L2 device registered as video17
i2c-core: driver [mag3110] using legacy suspend method
i2c-core: driver [mag3110] using legacy resume method
imx2-wdt 20bc000.wdog: IMX2+ Watchdog Timer enabled. timeout=60s (nowayout=0)
md: raid1 personality registered for level 1
md: raid10 personality registered for level 10
md: raid6 personality registered for level 6
md: raid5 personality registered for level 5
md: raid4 personality registered for level 4
cpuidle: using governor ladder
cpuidle: using governor menu
sdhci: Secure Digital Host Controller Interface driver
sdhci: Copyright(c) Pierre Ossman
sdhci-pltfm: SDHCI platform and OF driver helper
sdhci-esdhc-imx 2190000.usdhc: could not get ultra high speed state, work on normal mode
mmc0: no vqmmc regulator found
ata1: SATA link down (SStatus 0 SControl 300)
mmc0: SDHCI controller on 2190000.usdhc [2190000.usdhc] using ADMA
sdhci-esdhc-imx 2194000.usdhc: could not get ultra high speed state, work on normal mode
mmc1: no vqmmc regulator found
mmc1: SDHCI controller on 2194000.usdhc [2194000.usdhc] using ADMA
sdhci-esdhc-imx 2198000.usdhc: could not get ultra high speed state, work on normal mode
mmc2: no vqmmc regulator found
mmc2: SDHCI controller on 2198000.usdhc [2198000.usdhc] using ADMA
mmc0: host does not support reading read-only switch. assuming write-enable.
mmc0: new high speed SDHC card at address 1234
mmcblk0: mmc0:1234 SA16G 14.8 GiB
mmcblk0: p1
mmc1: queuing unknown CIS tuple 0x80 (50 bytes)
mmc1: queuing unknown CIS tuple 0x80 (7 bytes)
mmc1: queuing unknown CIS tuple 0x80 (4 bytes)
mmc1: queuing unknown CIS tuple 0x02 (1 bytes)
mmc1: new SDIO card at address 0001
mmc2: host does not support reading read-only switch. assuming write-enable.
Galcore version 4.6.9.9754
mmc2: new high speed SDHC card at address e624
mmcblk1: mmc2:e624 SU08G 7.40 GiB
mmcblk1: p1
mxc_vdoa 21e4000.vdoa: i.MX Video Data Order Adapter(VDOA) driver probed
mxc_asrc 2034000.asrc: mxc_asrc registered
mxc_vpu 2040000.vpu: VPU initialized
caam 2100000.caam: device ID = 0x0a16010000000000 (Era -524)
caam 2100000.caam: job rings = 2, qi = 0
caam 2100000.caam: authenc-hmac-md5-cbc-aes-caam
caam 2100000.caam: authencesn-hmac-md5-cbc-aes-caam
caam 2100000.caam: authenc-hmac-sha1-cbc-aes-caam
caam 2100000.caam: authencesn-hmac-sha1-cbc-aes-caam
caam 2100000.caam: authenc-hmac-sha224-cbc-aes-caam
caam 2100000.caam: authencesn-hmac-sha224-cbc-aes-caam
caam 2100000.caam: authenc-hmac-sha256-cbc-aes-caam
caam 2100000.caam: authencesn-hmac-sha256-cbc-aes-caam
caam 2100000.caam: authenc-hmac-md5-cbc-des3_ede-caam
caam 2100000.caam: authencesn-hmac-md5-cbc-des3_ede-caam
caam 2100000.caam: authenc-hmac-sha1-cbc-des3_ede-caam
caam 2100000.caam: authencesn-hmac-sha1-cbc-des3_ede-caam
caam 2100000.caam: authenc-hmac-sha224-cbc-des3_ede-caam
caam 2100000.caam: authencesn-hmac-sha224-cbc-des3_ede-caam
caam 2100000.caam: authenc-hmac-sha256-cbc-des3_ede-caam
caam 2100000.caam: authencesn-hmac-sha256-cbc-des3_ede-caam
caam 2100000.caam: authenc-hmac-md5-cbc-des-caam
caam 2100000.caam: authencesn-hmac-md5-cbc-des-caam
caam 2100000.caam: authenc-hmac-sha1-cbc-des-caam
caam 2100000.caam: authencesn-hmac-sha1-cbc-des-caam
caam 2100000.caam: authenc-hmac-sha224-cbc-des-caam
caam 2100000.caam: authencesn-hmac-sha224-cbc-des-caam
caam 2100000.caam: authenc-hmac-sha256-cbc-des-caam
caam 2100000.caam: authencesn-hmac-sha256-cbc-des-caam
caam 2100000.caam: ecb-des-caam
caam 2100000.caam: ecb-arc4-caam
caam 2100000.caam: ecb-aes-caam
caam 2100000.caam: ctr-aes-caam
caam 2100000.caam: cbc-aes-caam
caam 2100000.caam: ecb-des3-caam
caam 2100000.caam: cbc-3des-caam
caam 2100000.caam: cbc-des-caam
caam 2100000.caam: fsl,sec-v4.0 algorithms registered in /proc/crypto
platform 2101000.jr0: registering rng-caam
platform caam_sm: caam_sm_test: 8-byte key test match OK
platform caam_sm: caam_sm_test: 16-byte key test match OK
platform caam_sm: caam_sm_test: 32-byte key test match OK
platform caam_secvio.29: security violation service handlers armed
hidraw: raw HID events driver (C) Jiri Kosina
usbcore: registered new interface driver usbhid
usbhid: USB HID core driver
i2c-core: driver [cs42888] using legacy suspend method
i2c-core: driver [cs42888] using legacy resume method
sgtl5000 1-000a: sgtl5000 revision 0x11
sgtl5000 1-000a: Failed to get supply 'VDDD': -19
1-000a: 1200 mV normal
sgtl5000 1-000a: Using internal LDO instead of VDDD
imx-sgtl5000 sound.22: sgtl5000 <-> 2028000.ssi mapping ok
imx-spdif sound-spdif.23: dit-hifi <-> 2004000.spdif mapping ok
imx-audio-hdmi sound-hdmi.24: hdmi-hifi <-> hdmi_audio.16 mapping ok
TCP: cubic registered
NET: Registered protocol family 10
mip6: Mobile IPv6
NET: Registered protocol family 17
Key type dns_resolver registered
VFP support v0.3: implementor 41 architecture 3 part 30 variant 9 rev 4
Registering SWP/SWPB emulation handler
registered taskstats version 1
console [netcon0] enabled
netconsole: network logging started
snvs_rtc 20cc034.snvs-rtc-lp: setting system clock to 1970-01-01 00:00:01 UTC (1)
ALSA device list:
#0: imx6-wandboard-sgtl5000
#1: imx-spdif
#2: imx-hdmi-soc
md: Waiting for all devices to be available before autodetect
md: If you don't use raid, use raid=noautodetect
md: Autodetecting RAID arrays.
md: Scanned 0 and added 0 devices.
md: autorun ...
md: ... autorun DONE.
EXT4-fs (mmcblk0p1): couldn't mount as ext3 due to feature incompatibilities
EXT4-fs (mmcblk0p1): couldn't mount as ext2 due to feature incompatibilities
EXT4-fs (mmcblk0p1): recovery complete
EXT4-fs (mmcblk0p1): mounted filesystem with ordered data mode. Opts: (null)
VFS: Mounted root (ext4 filesystem) on device 179:1.
devtmpfs: error mounting -2
Freeing unused kernel memory: 320K (80cc0000 - 80d10000)
Kernel panic - not syncing: No init found. Try passing init= option to kernel. See Linux Documentation/init.txt for guidance.
CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.10.17-1-ARCH #1
[<80013c4c>] (unwind_backtrace+0x0/0xe0) from [<80010d58>] (show_stack+0x10/0x14)
[<80010d58>] (show_stack+0x10/0x14) from [<806ac7a4>] (panic+0x84/0x1cc)
[<806ac7a4>] (panic+0x84/0x1cc) from [<806a7d5c>] (kernel_init+0xb8/0xe4)
[<806a7d5c>] (kernel_init+0xb8/0xe4) from [<8000d998>] (ret_from_fork+0x14/0x3c)
CPU3: stopping
CPU: 3 PID: 0 Comm: swapper/3 Not tainted 3.10.17-1-ARCH #1
[<80013c4c>] (unwind_backtrace+0x0/0xe0) from [<80010d58>] (show_stack+0x10/0x14)
[<80010d58>] (show_stack+0x10/0x14) from [<80012efc>] (handle_IPI+0xc4/0x130)
[<80012efc>] (handle_IPI+0xc4/0x130) from [<80008568>] (gic_handle_irq+0x58/0x60)
[<80008568>] (gic_handle_irq+0x58/0x60) from [<8000d540>] (__irq_svc+0x40/0x50)
Exception stack(0xdc0c1f50 to 0xdc0c1f98)
1f40: dc0c1f98 00000001 0710e3aa 00000001
1f60: 047258d0 00000001 00000001 81c1b138 80d20d28 80d20d74 80ddb3a4 00000000
1f80: 00000009 dc0c1f98 800635ec 804f5b10 60000113 ffffffff
[<8000d540>] (__irq_svc+0x40/0x50) from [<804f5b10>] (cpuidle_enter_state+0x50/0xd8)
[<804f5b10>] (cpuidle_enter_state+0x50/0xd8) from [<804f5c78>] (cpuidle_idle_call+0xe0/0x144)
[<804f5c78>] (cpuidle_idle_call+0xe0/0x144) from [<8000e4d8>] (arch_cpu_idle+0x10/0x48)
[<8000e4d8>] (arch_cpu_idle+0x10/0x48) from [<80062e10>] (cpu_startup_entry+0xb8/0x11c)
[<80062e10>] (cpu_startup_entry+0xb8/0x11c) from [<106a96a4>] (0x106a96a4)
CPU1: stopping
CPU: 1 PID: 0 Comm: swapper/1 Not tainted 3.10.17-1-ARCH #1
[<80013c4c>] (unwind_backtrace+0x0/0xe0) from [<80010d58>] (show_stack+0x10/0x14)
[<80010d58>] (show_stack+0x10/0x14) from [<80012efc>] (handle_IPI+0xc4/0x130)
[<80012efc>] (handle_IPI+0xc4/0x130) from [<80008568>] (gic_handle_irq+0x58/0x60)
[<80008568>] (gic_handle_irq+0x58/0x60) from [<8000d540>] (__irq_svc+0x40/0x50)
Exception stack(0xdc0bdf50 to 0xdc0bdf98)
df40: dc0bdf98 00000001 0710e3aa 00000001
df60: 04725f52 00000001 00000001 81c0b138 80d20d28 80d20d74 80ddb3a4 00000000
df80: 00000009 dc0bdf98 800635ec 804f5b10 60000113 ffffffff
[<8000d540>] (__irq_svc+0x40/0x50) from [<804f5b10>] (cpuidle_enter_state+0x50/0xd8)
[<804f5b10>] (cpuidle_enter_state+0x50/0xd8) from [<804f5c78>] (cpuidle_idle_call+0xe0/0x144)
[<804f5c78>] (cpuidle_idle_call+0xe0/0x144) from [<8000e4d8>] (arch_cpu_idle+0x10/0x48)
[<8000e4d8>] (arch_cpu_idle+0x10/0x48) from [<80062e10>] (cpu_startup_entry+0xb8/0x11c)
[<80062e10>] (cpu_startup_entry+0xb8/0x11c) from [<106a96a4>] (0x106a96a4)
CPU2: stopping
CPU: 2 PID: 0 Comm: swapper/2 Not tainted 3.10.17-1-ARCH #1
[<80013c4c>] (unwind_backtrace+0x0/0xe0) from [<80010d58>] (show_stack+0x10/0x14)
[<80010d58>] (show_stack+0x10/0x14) from [<80012efc>] (handle_IPI+0xc4/0x130)
[<80012efc>] (handle_IPI+0xc4/0x130) from [<80008568>] (gic_handle_irq+0x58/0x60)
[<80008568>] (gic_handle_irq+0x58/0x60) from [<8000d540>] (__irq_svc+0x40/0x50)
Exception stack(0xdc0bff50 to 0xdc0bff98)
ff40: dc0bff98 00000001 0710e25d 00000001
ff60: 04726488 00000001 00000001 81c13138 80d20d28 80d20d74 80ddb3a4 00000000
ff80: 00000009 dc0bff98 800635ec 804f5b10 60000113 ffffffff
[<8000d540>] (__irq_svc+0x40/0x50) from [<804f5b10>] (cpuidle_enter_state+0x50/0xd8)
[<804f5b10>] (cpuidle_enter_state+0x50/0xd8) from [<804f5c78>] (cpuidle_idle_call+0xe0/0x144)
[<804f5c78>] (cpuidle_idle_call+0xe0/0x144) from [<8000e4d8>] (arch_cpu_idle+0x10/0x48)
[<8000e4d8>] (arch_cpu_idle+0x10/0x48) from [<80062e10>] (cpu_startup_entry+0xb8/0x11c)
[<80062e10>] (cpu_startup_entry+0xb8/0x11c) from [<106a96a4>] (0x106a96a4)
[?1l>[24;1H
[?1049l
')