Hi,
A new bios v0027 has just been released. Please, test it, as it seems to fix my two problems: reboot after shutdown and power button not working for power up. I'm not 100% sure it fixed both problems, as I also upgraded OpenElec to v4.0.7 at the same time.
I will test it further to confirm those are indeed fixed.
BR