Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) // SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) #include <bfd.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) int main(void)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) 	bfd *abfd = bfd_openr("Pedro", 0);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) 	return abfd && (!abfd->build_id || abfd->build_id->size > 0x506564726f);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) }