[SeaBIOS] [PATCH] Make ATA DMA optional; default off