config EMPTY_SLOT
bool
config PTIMER
config FITLOADER
config OR_IRQ
config PLATFORM_BUS
config REGISTER
config SPLIT_IRQ