Pensando un poco en el Restricted Boot, ¿Alguien ha usado o tenido algún tipo de experiencia con FreeBIOS? ¿Esta podria ser una buena opción para el Restricted Boot?