La soluzione non è però detto che sia completamente diversa. Ho sostituito, nella partizione EFI, il bootloader dell'HP con rEFIt [1], un bootloader Open Source. È possibile che dia meno problemi. Ed è pure carino, applicando qualche tema un po' decente :P