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

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

Reading blob failed.