Does anybody use EFI in Ubuntu/linux operating systems?