K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2010-01-23T23:16:50.046507Z
K 7
svn:log
V 73
Remove cpu_boot() and call efi_reset_system() directly from
cpu_reset().

END