[coreboot-gerrit] Change in coreboot[master]: vc/cavium/{bdk,include}: Clean up bdk_phys_to_ptr() calls