# $FreeBSD$ options LINUX_BOOT_ABI