0001-Remove-libebl-linkage.patch
0002-adapt-makefile-to-debian.patch
0003-Increase-SECTION_MAP_LAST_BIT-to-4.patch
