Re: [PATCH] The PS3 bootloader allows booting from ext4 filesystems (#498539).

[Chris Lumens <clumens redhat com>]

> Longer term, it might be worth having a list of bootable filesystems in
> the platform module, but to keep things simple for F11, this looks good

Agreed.  Though of course you know that putting off the better fix until
post-F11 means we're going to be living with this for a very long time.
I can go in and rework things in the platform module a little bit if we
don't want to live with this fix.  My reason for doing it this was that
the supported properties already check the platform.

- Chris