On two recent Supermicro servers, typing reboot actually shuts down the server.
Thanks to Google and this blogpost, http://major.io/2013/06/03/supermicro-x9scix9sca-server-does-a-shutdown-rather-than-a-reboot/ I no longer have this issue.
Short story: just blacklist the module named “mei” and you’re good.