Hi, I would like to move to Freebsd 10, but the USB install kernel doesnot boot on my laptop (HP EliteBook Folio 9470m); I have send a PR, number 187488 ( http://www.freebsd.org/cgi/query-pr.cgi?pr=amd64/187488 ). Troyax