Meilix creates a 32 bit boot also for efi. Maybe we can copy parts of the meilix installation for the docker/toiso folder.