ps3_repository_read_boot_dat_info
result = ps3_repository_read_boot_dat_info(&lpar_addr, &size);
int ps3_repository_read_boot_dat_info(u64 *lpar_addr, unsigned int *size);