Do you not have DT kernel? I can confirm that I have bootmenu, boot from SD and have the MCE/alarmd problem (when I enable alarmd, which is almost never).