skrll 48eba37709 Call cleanup_before_linux in efi_exit_boot so ensure caches are clean, etc ... Bump PKGREVISION		2019-04-26 08:32:27 +00:00
..
DESCR
Makefile	Call cleanup_before_linux in efi_exit_boot so ensure caches are clean, etc	2019-04-26 08:32:27 +00:00
PLIST