@@ -432,12 +432,16 @@ corresponding UPSTREAM-SOURCE (an origin), using
the given DEBLOB-SCRIPTS."
(define-public linux-libre-5.4-source
(source-with-patches linux-libre-5.4-pristine-source
- (list %boot-logo-patch
- %linux-libre-arm-export-__sync_icache_dcache-patch
- ;; Pinebook Pro patch from linux-next,
- ;; can be dropped for linux-libre 5.7
- (search-patch
- "linux-libre-Add-initial-support-for-Pinebook-.patch"))))
+ (cons* %boot-logo-patch
+ %linux-libre-arm-export-__sync_icache_dcache-patch
+ (if (let ((system (or
(%current-target-system)
+ (%current-system))))
+ (string-prefix? "aarch64" system))
+ ;; Pinebook Pro patch from linux-next,
+ ;; can be dropped for linux-libre 5.7
+ '((search-patch
+ "linux-libre-Add-initial-support-for-Pinebook-.patch"))
+ '()))))