Can you run docker and virtualisation software on these? I read a comment about Federighi mentioning that there's no EFI or dual boot, which I can't find now, and I assumed there's no virtualisation at all.