parece ser um bug de firmware (também conhecido como implementação de acordo com a implementação do MS Windows em vez do padrão ACPI - como típico e provavelmente inevitável até que o bug # 1 do Ubuntu resolvesse :(). Solução encontrada aqui:
... adicione:
reboot=efi
como parâmetro de inicialização para o kernel - tentei na mesma máquina (difere apenas em relação à CPU mais lenta) e as reinicializações estão corretas então:)
Aproveite suas reinicializações! : D
P.