Appendix C ā BIOS Settings
Enable / Disable SD Card Support
Enable bus speed operation up to
25MB/s for SDCard
(High Speed). Disable limits bus
speed to 12.5MB/s (normal speed)
Enable bus speed operation up to
50MB/s for SDCard (Ultra High
Speed). Disabled activates SDR25
mode setting
Enable / Disable SD SDIO Support
Enable / Disable MIPI HSI Support
Enable / Disable LPSS DMA Channel
#X
Enable / Disable LPSS I2C Channel
#X
Enable / Disable LPSS I2C Channel
#X
Enable / Disable LPSS High Speed
UART Channel #X
Miscellaneous Configuration
Enables or Disables the High
Precision Event Timer
Boot Time with HPET Timer
Boot time calculation with High
Precision Event Timer enabled