Merge "Allow microdroid_manager to read /proc/bootconfig"