[[!comment format=mdwn
 username="gueux"
 avatar="http://cdn.libravatar.org/avatar/2982bac2c2cd94ab3860efb189deafc8"
 subject="comment 14"
 date="2017-12-22T12:44:18Z"
 content="""
Unfortunately it didn't... But I think it's probably a problem of choosing the right grub version. I did boot a grml64 sdcard, and I think they use hybrid bios/uefi boot. I have to investigate, let's see this in a few days :)

Thanks a lot for your help!
"""]]
