ブートローダはカーネルとは独立だからソースは出ないんじゃないの?
そのへんはソフトの海賊版防止のキモだろうし。

PS2と同じようにBD以外の外部記憶からカーネルをロードできるBDの
ブートディスクが用意されてそれを使ってLinux以外のカーネルも読める、
って感じになるんだと思うけど。