[Dev] Issue booting Hikey from SD card

After following the instructions in the Quick Start Guide for booting from SD card I receive:

[tux.img][tux.img][tux.img][tux.img][tux.img][tux.img][tux.img][tux.img] [STAMP] kvm [1]: HYP mode not available [STAMP] of_dma_request_slave_channel: dma-names property of node '/smb/uart@f8015000' missing or empty [STAMP] hisi_thermal f7030700.tsensor: THERMAL ALARM: T > 80 <DEAD>

Has anyone else seen this? Is it a known issue, or all-my-fault(tm)?

NB: This is 'hikey-jessie_alip_20150701-323.img'. Booting 'hikey-jessie_developer_20150701-323.emmc.img' from eMMC works fine.

Kind regards, Lee

-- Lee Jones Linaro ST Landing Team Lead Linaro.org │ Open source software for ARM SoCs Follow Linaro: Facebook | Twitter | Blog