[LinuxBIOS] [PATCH] v3: Print a message before resetting the processor