[coreboot] [coreboot - Bug #393] T500 restarts rather than waking up from suspend