That implementation is not galileo-specific, but rather a generic way of rebooting an x86 target. Needs SoC support. Change-Id: I9c3374a8ab57a624d9d9b7090260c5b11fe4e773 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>