With this patch it is possible to boot a device with kernel 3.10 a second time. Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de> SVN-Revision: 37625