Raspberry Pi port, piCore-15.0 is available!
http://wiki.tinycorelinux.net/wiki:using_acpid_to_control_your_pc_buttons