https://www.fafamonge.com/2012/05/cambiar-opciones-en-el-cargador-de-arranque-en-mac-osx.html