Re: [SeaBIOS] [PATCH 4/3] wakeup: only reset the CPU