[U-Boot] x86: board / CPU reset?