> The 30 minute boot time could be worked around by enabling the (off-by-default) memory context restore option in BIOS