pub const ERROR_SERVER_INVALID_BOOT_FILE_TABLE: u32 = 20028u32;