Я в своем эмуляторе проверил, boot.rk/sdbios.rk тоже работают.