커널/패키지 업데이트 후 부팅할 수 없음 - snd-hda intel - HDMI/DP에는 입찰을 위해 gfx 드라이버가 필요함

Macbook Air 2013에서 Tuxedo 운영 체제를 사용합니다. 정상적으로 작동했지만 OS에서 커널을 업데이트하도록 허용하면 다음과 같은 결과가 나타납니다. 시작 화면

커널에 "acpi=!Darwin"을 추가해 보았더니 irq 0 메시지가 제거되었습니다. 하지만 여전히 "gfx 드라이버 바인딩이 필요합니다"라는 메시지가 표시되고 부팅할 수 없습니다. 커널 전환도 시도했지만 소용이 없었습니다.

lspci

어떤 도움이라도 대단히 감사하겠습니다. 현재는 grub 및 루트 터미널에만 액세스할 수 있습니다.