The RK1's enable signal is connected to the PMIC's PWRON pin, which is a key input (it's

/sys/class/input/input0

on my RK1s) and could indeed be used to send a "firm" shutdown command to the RK1 from the BMC...