How is RSDP passed to kernel?