I have been trying out the new (test) BIOS this morning and it does appear to fix the shutdown/reboot issue in my environment:
- Ubuntu 14.04, default BIOS settings
- With fixed Ethernet, display, keyboard and mouse connected - shutdown stays shutdown
- With no devices connected other than fixed Ethernet - shutdown stays shutdown; WOL can be used to restart
Many thanks,