https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=233819 --- Comment #2 from ota at j.email.ne.jp --- (In reply to Konstantin Belousov from comment #1) This change allowed PAE kernel to boot. Thank you for quick response. -- You are receiving this mail because: You are the assignee for the bug.