Após vários experimentos, eu cheguei a uma solução para este laptop.
Eu instalei o gentoo, compilando um kernel com CONFIG_SONY_LAPTOP
e CONFIG_SONYPI_COMPAT
ativado. Com esse driver incluído, definir reboot=bios
na linha de comando do kernel funcionou (é claro que, como reboot=bios
depende do x86-32, provavelmente não funcionará no x86-64 e outra solução será necessária). Apesar de ter encontrado essa solução no gentoo, quase certamente funcionaria no Ubuntu também.
Depois de mais experiências, a única coisa que eu precisava era de reboot=bios
. No entanto, isso não funciona em x86-64, então estou preso com x86-32 (isso não importa muito; este netbook tem apenas 1GB de RAM).