So... has anyone using SD boot tried yet? If so, on which system (mmc, or internal), and what is required to bring back the bootmenu and stuff?