SeaBIOS/Namespaces