Move reboot() and power_off() to new file, and rename to fit convention.

[pintos-anon] / specs / kbd / samsung.jpg

Reading blob failed.